The Curry-Howard isomorphism
Philippe De Groote · Academia · 1995
APA
Groote, P. D. (1995). The Curry-Howard isomorphism. Academia.