Infinite normal forms for the -calculus (1975)

by Reiji Nakajima
Venue:In -calculus and computer science theory, Lecture Notes in Computer Science