On solvability by λI-terms

Lecture Notes in Computer Science - λ-Calculus and Computer Science Theory ◽

10.1007/bfb0029536 ◽

2005 ◽

pp. 342-345 ◽

Cited By ~ 2

Author(s):

J. W. Klop

Download Full-text