Type-theoretical checking and the philosophy of mathematics

N.G. Bruijn, de

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelTwenty-five Years of Constructive Type Theory (Proceedings of a congress held in Venice, Italy, October 1995)
RedacteurenG. Sambin, J.M. Smith
Plaats van productieOxford
UitgeverijClarendon Press
Pagina's41-56
ISBN van geprinte versie0-19-850127-7
StatusGepubliceerd - 1998

Citeer dit

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