A fine-grained notation for lambda terms and its use in intensional operations (1999)

by G NADATHUR
Venue:Journal of Functional and Logic Programming