The calculus of constructions and higher order logic

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Original languageEnglish
Title of host publicationThe Curry-Howard isomophism
EditorsPh. Groote, de
Place of PublicationLouvain-la-Neuve
PublisherKatholieke Universiteit Leuven
Pages139-191
Publication statusPublished - 1994

Publication series

NameCahiers du centre de logique
Volume8

Cite this