On the computational content of the Lawson topology
暂无分享,去创建一个
[1] Martín Hötzel Escardó,et al. On the Compact-regular Coreflection of a Stably Locally Compact Locale , 1999, MFPS.
[2] Stefan Friedrich,et al. Topology , 2019, Arch. Formal Proofs.
[3] M. Andrew Moshier,et al. A Logic for Probabilities in Semantics , 2002, CSL.
[4] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .
[5] Dana S. Scott,et al. Data Types as Lattices , 1976, SIAM J. Comput..
[6] Achim Jung,et al. The troublesome probabilistic powerdomain , 1997, COMPROX.
[7] Klaus Weihrauch,et al. Computability on Subsets of Euclidean Space I: Closed and Compact Subsets , 1999, Theor. Comput. Sci..
[8] Michael B. Smyth,et al. Effectively given Domains , 1977, Theor. Comput. Sci..
[9] S. Vickers. Topology via Logic , 1989 .
[10] Jimmie D. Lawson,et al. Spaces of maximal points , 1997, Mathematical Structures in Computer Science.
[11] Jimmie D. Lawson. The Versatile Continuous Order , 1987, MFPS.
[12] Klaus Keimel,et al. The probabilistic powerdomain for stably compact spaces , 2004, Theor. Comput. Sci..
[13] Michael W. Mislove,et al. Topology, domain theory and theoretical computer science , 1998 .
[14] M. Andrew Moshier,et al. Stably Compact Spaces and Closed Relations , 2001, MFPS.
[15] Roberto M. Amadio,et al. Domains and lambda-calculi , 1998, Cambridge tracts in theoretical computer science.
[16] Klaus Weihrauch,et al. Computable Analysis: An Introduction , 2014, Texts in Theoretical Computer Science. An EATCS Series.
[17] Shirley Dex,et al. JR 旅客販売総合システム(マルス)における運用及び管理について , 1991 .
[18] K. Hofmann,et al. A Compendium of Continuous Lattices , 1980 .
[19] Samson Abramsky,et al. Domain theory , 1995, LICS 1995.
[20] Samson Abramsky,et al. Handbook of logic in computer science. , 1992 .
[21] Marian B. Pour-El,et al. An Introduction to Computable Analysis , 1989 .
[22] K. Hofmann,et al. Continuous Lattices and Domains , 2003 .
[23] H. Escardo,et al. Preliminary Version On the compact-regular coreflection of a stably compact locale Mart́ın , 2001 .