de Bruijn. Telescopic mappings in typed lambda calculus (1991)

by N G
Venue:Information and Computation