The calculus of constructions and higher order logic

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Original language	English
Title of host publication	The Curry-Howard isomophism
Editors	Ph. Groote, de
Place of Publication	Louvain-la-Neuve
Publisher	Katholieke Universiteit Leuven
Pages	139-191
Publication status	Published - 1994

Name	Cahiers du centre de logique
Volume	8

Cite this

@inbook{a2c2b79dbc94460da61c9a6dd2d1e9bb,

title = "The calculus of constructions and higher order logic",

author = "J.H. Geuvers",

year = "1994",

language = "English",

series = "Cahiers du centre de logique",

publisher = "Katholieke Universiteit Leuven",

pages = "139--191",

editor = "{Groote, de}, Ph.",

booktitle = "The Curry-Howard isomophism",

address = "Belgium",

}