A terminating and confluent linear lambda calculus (2006)

by Y Ohta, M Hasegawa
Venue:In Proc. 17th International Conference on Rewriting Techniques and Applications (RTA’06). Springer LNCS 4098