Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference20 articles.
1. Domain theory;Abramsky,1994
2. Computational effects in topological domain theory;Battenfeld;Electr. Notes Theor. Comput. Sci.,2006
3. Comparing free algebras in topological and classical domain theory;Battenfeld;Theor. Comput. Sci.,2010
4. Compactly generated domain theory;Battenfeld;Math. Struct. Comput. Sci.,2006
5. A convenient category of domains;Battenfeld;Electr. Notes Theor. Comput. Sci.,2007
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Grounding Game Semantics in Categorical Algebra;Electronic Proceedings in Theoretical Computer Science;2022-11-03