A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations (1996)

Cached

Download Links

by Gopalan Nadathur
Venue:Journal of Functional and Logic Programming
Citations:25 - 9 self