Foundations for Computable Topology-Reference-Cited by-同舟云学术

Foundations for Computable Topology

Published:2011 Issue: Volume: Page:265-310
ISSN:1566-659X
Container-title:The Western Ontario Series in Philosophy of Science
language:
Short-container-title:

Author:

Taylor Paul

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-007-0431-2_14

Reference79 articles.

1. Appel, A. (1992) Compiling with Continuations, Cambridge: Cambridge University Press.

2. Barr, M. and Wells, C. (1985) Toposes, Triples and Theories, New York: Springer.

3. Bauer, A. (2008) Efficient Computation with Dedekind Reals, in Brattka, V., Dillhage, R., Grubba, T. and Klutch, A., eds. Fifth International Conference on Computability and Complexity in Analysis, in volume 221 of Electronic Notes in Theoretical Computer Science, Amsterdam: Elsevier.

4. Bauer, A., Birkedal, L. and Scott, D. (2004) Equilogical Spaces, Theoretical Computer Science 315, 35–59.

5. Bishop, E. and Bridges, D. (1985) Constructive Analysis, Number 279 in Grundlehren der mathematischen Wissenschaften, Heidelberg, Berlin, New York: Springer.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Computable Stone spaces;Annals of Pure and Applied Logic;2023-10

2. Frames and topological algebras for a double-power monad;Journal of Logic and Analysis;2019

3. On fixed-point theorems in synthetic computability;Tbilisi Mathematical Journal;2017-06-01

4. On the topological aspects of the theory of represented spaces;Computability;2016-05-17

5. Descriptive Set Theory in the Category of Represented Spaces;2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science;2015-07