de Bruijn. On the roles of types in mathematics (1995)

by N G
Venue:In Philippe de Groote, editor, The Curry-Howard isomorphism