On the roles of types in mathematics

N.G. Bruijn, de

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Popular

293 Downloads (Pure)

Original language	English
Title of host publication	The Curry-Howard isomorphism / ed. by P. de Groote
Place of Publication	Louvain-la-Neuve
Publisher	Academia-Erasme
Pages	27-54
ISBN (Print)	2-87209-363-X
Publication status	Published - 1995

Name	Cahiers du centre de logique
Volume	8

Access to Document

@inbook{7f386bbf005243388ff0cb9efc2183ef,

title = "On the roles of types in mathematics",

author = "{Bruijn, de}, N.G.",

year = "1995",

language = "English",

isbn = "2-87209-363-X",

series = "Cahiers du centre de logique",

publisher = "Academia-Erasme",

pages = "27--54",

booktitle = "The Curry-Howard isomorphism / ed. by P. de Groote",

}