Lambda Calculus with Explicit Recursion (1996)

by Z. M. Ariola, J. W. Klop, Issn -x, Zena M. Ariola, Jan-Willem Klop
Venue:Information and Computation