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

by
Gopalan Nadathur

Venue: | Proc. 9th Workshop on Logic, Language, Information and Computation (WoLLIC 2002), volume 67 of ENTCS |

Citations: | 5 - 0 self |