Simply typed and untyped lambda calculus revisited (1992)

by B Jacobs
Venue:Applications of Category Theory in Computer Science (LMS 177, Camb