Author:
Burden C. W.,Mulvey C. J.
Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. Auspitz, N.: Doctoral dissertation: University of Waterloo, Ontario, 1975
2. Banaschewski, B.: Sheaves of Banach spaces. Quaest. Math., 2 (1977), 1–22
3. Banaschewski, B.: Injective Banach sheaves. This volume
4. Banaschewski, B.: Extension of invariant linear functionals: Hahn-Banach in the topos of M-sets. J. Pure Applied Algebra. To appear
5. Bishop, E.: Foundations of Constructive Analysis. New York: McGraw-Hill 1967
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Problems, solutions, and completions;The Journal of Logic and Algebraic Programming;2010-01
2. Constructive metrisability in point-free topology;Theoretical Computer Science;2003-08
3. On The Geometry Of Choice;Topological and Algebraic Structures in Fuzzy Sets;2003
4. Dual Banach Bundles;Nonstandard Analysis and Vector Lattices;2000
5. Heyting-Valued Semantics;Logic Colloquium '82;1984