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

by N G
Venue:Inform. Comput