On the roles of types in mathematics (1995)

by N G de Bruijn
Venue:In P. de Groote (Ed.), The Curry-Howard isomorphism