A Notation for Lambda Terms A Generalization of Environments (1998)

by G NADATHUR, D S WILSON
Venue:Theoretical Computer Science