de Bruijn. Telescopic Mappings in Typed Lambda-Calculus (1991)

by G Nicolas
Venue:Information and Computation