Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Barthes, G., Capretta, V., Pons, O.: Setoids in type theory. J. Funct. Programming, Special issue on Logical frameworks and metalanguages 13(2), 261–293 (2003)
2. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill Book Co, New York (1967)
3. Carboni, A.: Some free constructions in realizability and proof theory. J. Pure Appl. Algebra 103, 117–148 (1995)
4. Lecture Notes in Computer Science;J. Carlström,2003
5. Carlström, J.: EM + Ext- + ACint is equivalent to ACext. Mathematical Logic Quarterly 50(3), 236–240 (2004)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Setoids and universes;Mathematical Structures in Computer Science;2010-04-07