Author:
Ishihara Hajime,Maietti Maria Emilia,Maschio Samuele,Streicher Thomas
Funder
Japan Society for the Promotion of Science
GNSAGA-INDAM
Publisher
Springer Science and Business Media LLC
Reference32 articles.
1. Aczel, P.: The strength of Martin-Löf’s intuitionistic type theory with one universe. In: Mietti, S., Vaananen, S. (eds.) Proceedings of Symposia in Mathematical Logic, Oulu, 1974, and Helsinki, 1975, Report No. 2, University of Helsinki, Department of philosophy, pp. 1–32 (1977)
2. Aczel, P.: The type theoretic interpretation of constructive set theory. In: Logic Colloquium ’77 (Proceedings Conference, Wrocław, 1977). Studies in Logic and the Foundations of Mathematics, vol. 96. North-Holland, Amsterdam (1978)
3. Aczel, P.: The type theoretic interpretation of constructive set theory: choice principles. In: Anne Troelstra, D.D. (ed.) The L.E.J. Brouwer Centenary Symposium (Noordwijkerhout, 1981). Studies in Logic and the Foundations of Mathematics, vol. 110. North-Holland, Amsterdam (1982)
4. Aczel, P.: The type theoretic interpretation of constructive set theory: inductive definitions. In: Logic, Methodology and Philosophy of Science, VII (Salzburg, 1983). Studies in Logic and the Foundations of Mathematics, vol. 114. North-Holland, Amsterdam (1986)
5. Aczel, P., Rathjen, M.: Notes on constructive set theory. Mittag-Leffler technical report no. 40 (2001)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献