Subject
General Computer Science,Theoretical Computer Science
Reference29 articles.
1. Domain theory in logical form;Abramsky;Ann. Pure Appl. Logic,1991
2. Toposes, Triples and Theories;Barr,1985
3. Domain theoretic models of polymorphism;Coquand;Inform. and Comput.,1989
4. Categorical combinators, sequential algorithms and functional programming;Curien,1986
5. Why the circle is connected: An introduction to quantized topology;Effros;Math. Intelligencer,1989
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Analysis of Symmetry in Quantitative Semantics;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. The Cartesian Closed Bicategory of Thin Spans of Groupoids;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
3. Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
4. On the Taylor expansion of $\lambda$-terms and the groupoid structure of their rigid approximants;Logical Methods in Computer Science;2022-01-06
5. Weighted models for higher-order computation;Information and Computation;2020-12