Yo Ohta Masahito Hasegawa A Terminating and Confluent Linear Lambda Calculus. 166-180 2006 conf/rta/2006 RTA http://dx.doi.org/10.1007/11805618_13 db/conf/rta/rta2006.html#OhtaH06