Intuitionistic Type Theory

by Per Martin-Löf · 1 review · 1988

Reviewed by	Journal	Date	Access
Jesús Alcolea Banegas	Theoria: Revista de Teoria, Historia y Fundamentos de la Ciencia	1988-10-01	Restricted

Metaphysics & Logic Epistemology & Philosophy of Mind

Also by Martin-Löf

Peter Aczel. The strength of Martin-Löf's intuitionistic type theory with one universe. Proceedings of the symposiums on mathematical logic in Oulu 1974 and in Helsinki (1 review)
R. E. Vesley. A palatable substitute for Kripke's schema. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y (1 review)

Search PhilReviews for this title