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

Gopalan Nadathur. The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations. Electronic Notes in Theoretical Computer Science, 67:35-48, 2002. [doi]

Abstract

Abstract is missing.