The calculus of constructions and higher order logic

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Originele taal-2Engels
TitelThe Curry-Howard isomophism
RedacteurenPh. Groote, de
Plaats van productieLouvain-la-Neuve
UitgeverijKatholieke Universiteit Leuven
Pagina's139-191
StatusGepubliceerd - 1994

Publicatie series

NaamCahiers du centre de logique
Volume8

Citeer dit