Publisher
Springer Science and Business Media LLC
Reference52 articles.
1. Aczel, P., Rathjen, M.: Notes on constructive set theory. Technical report, Institut Mittag–Leffler, 2000–2001. Report No. 40
2. Artin, E.: Über die Zerlegung definiter Funktionen in Quadrate. Abh. Math. Sem. Univ. Hambg. 5(1), 100–115 (1927)
3. Artin, E., Schreier, O.: Algebraische Konstruktion reeller Körper. Abh. Math. Sem. Univ. Hambg. 5(1), 85–99 (1927)
4. Cederquist, J., Coquand, T.: Entailment relations and distributive lattices. In: Buss, S.R., Hájek,P., Pudlák, P. (eds.) Logic colloquium ’98. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9–15, 1998, vol. 13 of Lecture Notes Logic, pp. 127–139. A. K. Peters, Natick, MA (2000)
5. Coquand, T.: Topology and sequent calculus. In: Conference Presentation: Topology in Computer Science: Constructivity. Asymmetry and Partiality; Digitization, Dagstuhl (2000)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献