Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. Domain theory;Abramsky,1994
2. A category of topological predomains;Battenfeld,2004
3. Compactly generated domain theory;Battenfeld;Math. Struct. of Comp. Science,2006
4. Comparing Cartesian closed categories of (core), compactly generated spaces;Escardó;Topology Appl.,2004
5. Continuous lattices and domains;Gierz,2003
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Fooling the Parallel or Tester with Probability 8/27;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019
2. Comparing approaches to free dcpo-algebra constructions;The Journal of Logic and Algebraic Programming;2013-01
3. Domain Representable Spaces Defined by Strictly Positive Induction;Logical Methods in Computer Science;2010-08-26
4. Comparing free algebras in Topological and Classical Domain Theory;Theoretical Computer Science;2010-04
5. Domain representations of spaces of compact subsets;Mathematical Structures in Computer Science;2010-03-25