Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Fourman, Michael P. [82] ‘Continuous Truth I, Non-Constructive Objects', Logic Colloquium '82, eds G.Lolli, G.Longo and A.Marcja, North-Holland 1984.
2. Fourman, Michael P. and Dana S. Scott [79] 'sheaves and Logic', Applications of Sheaves, Springer LNM 753, pp. 302–401.
3. Hyland, J.M.E. [82] ‘The Effective Topos', The L.E.J. Brouwer Centenary Symposium, A.S. Troelstra and D. van Dalen eds., North-Holland, 1982.
4. Johnstone, Peter T. [77] ‘Topos theory', Academic Press, London.
5. [82] 'stone Spaces', Cambridge Studies in Advanced Mathematics 3, Cambridge University Press, Cambridge.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The integration of logical and algebraic types;Categorical Methods in Computer Science With Aspects from Topology;1989
2. The formal description of data types using sketches;Mathematical Foundations of Programming Language Semantics;1988