Telescopic mappings in typed lambda calculus (1991)

Cached

Download Links

by N. G. De Bruijn
Venue:Information and Computation
Citations:13 - 0 self