Generalizing AUTOMATH by means of a lambda-typed lambda calculus (1978)

by N G de Bruijn
Venue:in: Mathematical Logic and Theoretical Computer Science