Per Martin-Löf. An intuitionistic theory of types: predicative part. Logic colloquium '73, Proceedings of the logic colloquium, Bristol, July 1973, edited by H. E. Rose and J. C. Shepherdson, Studies in logic and the foundations of mathematics, vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, pp. 73–118.
Wim Veldman · Journal of Symbolic Logic · 1984
Per Martin-Löf. An intuitionistic theory of types: predicative part. Logic colloquium '73, Proceedings of the logic colloquium, Bristol, July 1973, edited by H. E. Rose and J. C. Shepherdson, Studies in logic and the foundations of mathematics, vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, pp. 73–118. - Volume 49 Issue 1