Aczel Peter. 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 1975, edited by Miettinen Seppo and Väänänen Jouko, The department of philosophy, University of Helsinki, Helsinki 1977, pp. 1–32.
Veldman, WimVolume:
49
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2274118
Date:
March, 1984
File:
PDF, 128 KB
english, 1984