Type-theoretical checking and the philosophy of mathematics

N.G. Bruijn, de

Type-theoretical checking and the philosophy of mathematics

N.G. Bruijn, de

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

Original language	English
Title of host publication	Twenty-five Years of Constructive Type Theory (Proceedings of a congress held in Venice, Italy, October 1995)
Editors	G. Sambin, J.M. Smith
Place of Publication	Oxford
Publisher	Clarendon Press
Pages	41-56
ISBN (Print)	0-19-850127-7
Publication status	Published - 1998

Cite this

@inproceedings{8d08a2cee8e44491853e4025455b320c,

title = "Type-theoretical checking and the philosophy of mathematics",

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

year = "1998",

language = "English",

isbn = "0-19-850127-7",

pages = "41--56",

editor = "G. Sambin and J.M. Smith",

booktitle = "Twenty-five Years of Constructive Type Theory (Proceedings of a congress held in Venice, Italy, October 1995)",

publisher = "Clarendon Press",

}

Type-theoretical checking and the philosophy of mathematics. / Bruijn, de, N.G.
Twenty-five Years of Constructive Type Theory (Proceedings of a congress held in Venice, Italy, October 1995). ed. / G. Sambin; J.M. Smith. Oxford: Clarendon Press, 1998. p. 41-56.

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