Type-theoretical checking and philosophy of mathematics

N.G. Bruijn, de

Type-theoretical checking and philosophy of mathematics

N.G. Bruijn, de

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

1 Downloads (Pure)

Original language	English
Title of host publication	Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 / ed. by Giovanni Sambin and Jan M. Smith
Place of Publication	Oxford
Publisher	Clarendon Press
Pages	41-56
ISBN (Print)	0-19-850127-7
Publication status	Published - 1998

Publication series

Name	Oxford logic guides
Volume	36

Cite this

@inproceedings{cd38a744a00743249fea8ff2c5f98ac8,

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

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

year = "1998",

language = "English",

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

series = "Oxford logic guides",

publisher = "Clarendon Press",

pages = "41--56",

booktitle = "Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 / ed. by Giovanni Sambin and Jan M. Smith",

}

Type-theoretical checking and philosophy of mathematics. / Bruijn, de, N.G.
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 / ed. by Giovanni Sambin and Jan M. Smith. Oxford: Clarendon Press, 1998. p. 41-56 (Oxford logic guides; Vol. 36).

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

TY - GEN

T1 - Type-theoretical checking and philosophy of mathematics

AU - Bruijn, de, N.G.

PY - 1998

Y1 - 1998

M3 - Conference contribution

SN - 0-19-850127-7

T3 - Oxford logic guides

SP - 41

EP - 56

BT - Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 / ed. by Giovanni Sambin and Jan M. Smith

PB - Clarendon Press

CY - Oxford

ER -