Author:
Vickers S.J.,Townsend C.F.
Subject
General Computer Science,Theoretical Computer Science
Reference27 articles.
1. Quantales, observational logic and process semantics;Abramsky;Math. Structures Comput. Sci.,1993
2. Locally cartesian closed exact completions;Carboni;J. Pure Appl. Algebra,2000
3. M. Escardó, Topology of data types and computability concepts, submitted for publication, draft available on web at http://www.cs.bham.ac.uk/~mhe/papers/barbados.pdf, 2003.
4. The Hoare and Smyth powerdomain constructions commute under composition;Flannery;J. Comput. System Sci.,1990
5. The semilattice tensor product of distributive lattices;Fraser;Trans. Amer. Math. Soc.,1976
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Presenting Quotient Locales;Applied Categorical Structures;2023-07-21
2. The spectrum of a localic semiring;Mathematical Proceedings of the Cambridge Philosophical Society;2022-02-28
3. Duality for Instantial Neighbourhood Logic via Coalgebra;Coalgebraic Methods in Computer Science;2020
4. ON THE COMMUTATIVITY OF THE POWERSPACE CONSTRUCTIONS;LOG METH COMPUT SCI;2019
5. Frames and topological algebras for a double-power monad;Journal of Logic and Analysis;2019