Philippe De Groote · Academia · 1995
Groote, Philippe De. The Curry-Howard isomorphism. Academia, 1995.