The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations (2002)

by G Nadathur
Venue:In Proceedings Ninth Workshop on Logic, Language, Information and Computation (WoLLIC 2002), volume 67 of ENTCS