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

Cached

Download Links

by Gopalan Nadathur
Venue:Proc. 9th Workshop on Logic, Language, Information and Computation (WoLLIC 2002), volume 67 of ENTCS
Citations:5 - 0 self