A Notation for Lambda Terms I: A Generalization of Environments (1994)

View PDF

Download Links

by Gopalan Nadathur , Debra Sue Wilson
Venue:THEORETICAL COMPUTER SCIENCE
Citations:34 - 12 self