Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces
暂无分享,去创建一个
[1] K. Hofmann,et al. A Compendium of Continuous Lattices , 1980 .
[2] S. Lane. Categories for the Working Mathematician , 1971 .
[3] Brian Day,et al. A reflection theorem for closed categories , 1972 .
[4] Reinhold Heckmann,et al. On the Relationship between Filter Spaces and Equilogical Spaces , 1998 .
[5] Jiří Rosický,et al. Cartesian closed exact completions , 1999 .
[6] Andrej Bauer,et al. The realizability approach to computable analysis and topology , 2000 .
[7] Klaus Weihrauch,et al. Admissible Representations of Effective CPO's , 1981, Theor. Comput. Sci..
[8] Andrej Bauer,et al. Continuous Functionals of Dependent Types and Equilogical Spaces , 2000, CSL.
[9] Achim Jung,et al. The troublesome probabilistic powerdomain , 1997, COMPROX.
[10] S. Franklin,et al. Spaces in which sequences suffice , 1965 .
[11] Christoph Kreitz,et al. Theory of Representations , 1985, Theor. Comput. Sci..
[12] Stefan Friedrich,et al. Topology , 2019, Arch. Formal Proofs.
[13] Andre Scedrov,et al. Categories, allegories , 1990, North-Holland mathematical library.
[14] Lars Birkedal,et al. Type theory via exact categories , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
[15] Dana S. Scott,et al. Data Types as Lattices , 1976, SIAM J. Comput..
[16] Dag Normann,et al. Limit spaces and transfinite types , 2002, Arch. Math. Log..
[17] Klaus Weihrauch,et al. Admissible Representations of Effective CPO's , 1983, Theor. Comput. Sci..
[18] Klaus Weihrauch,et al. Computable Analysis: An Introduction , 2014, Texts in Theoretical Computer Science. An EATCS Series.
[19] Ulrich Berger,et al. Total Sets and Objects in Domain Theory , 1993, Ann. Pure Appl. Log..
[20] J. Hyland. First steps in synthetic domain theory , 1991 .
[21] Matthias Schröder,et al. Admissible Representations of Limit Spaces , 2000, CCA.
[22] Samson Abramsky,et al. Handbook of logic in computer science. , 1992 .
[23] J. Hyland,et al. Filter spaces and continuous functionals , 1979 .
[24] Peter T. Johnstone,et al. On a Topological Topos , 1979 .
[25] H. Friedman. Equality between functionals , 1975 .
[26] J. M. E. Hyland,et al. Continuity in spatial toposes , 1979 .
[27] Brian A. Davey,et al. An Introduction to Lattices and Order , 1989 .
[28] Ulrich Berger,et al. Continuous Functionals of Dependent and Transfinite Types , 1999 .
[29] Matthias Schröder,et al. Extended admissibility , 2002, Theor. Comput. Sci..
[30] Giuseppe Rosolini,et al. Locally cartesian closed exact completions ( , 2000 .
[31] Oswald Wyler,et al. Lecture notes on Topoi and Quasitopoi , 1991 .
[32] Andrej Bauer,et al. Equilogical spaces , 2004, Theor. Comput. Sci..
[33] Andrej Bauer,et al. A Relationship between Equilogical Spaces and Type Two Effectivity , 2001, MFPS.
[34] Dag Normann,et al. The continuous functionals of finite types over the reals , 1998, Workshop on Domains.