| Publication | Date of Publication | Type |
|---|
Continuous domains for function spaces using spectral compactification
| 2026-04-02 | Paper |
Stone duality for relations
| 2024-10-01 | Paper |
Decomposition of domains
Lecture Notes in Computer Science | 2023-08-16 | Paper |
A duality for two-sorted lattices
Soft Computing | 2022-07-21 | Paper |
scientific article; zbMATH DE number 7533363 (Why is no real title available?)
| 2022-05-28 | Paper |
Non-involutive twist-structures
Logic Journal of the IGPL | 2021-01-08 | Paper |
Diagrammatic Semantics for Digital Circuits.
| 2020-05-26 | Paper |
scientific article; zbMATH DE number 7145020 (Why is no real title available?)
| 2019-12-18 | Paper |
Stone Duality for Relations
| 2019-12-18 | Paper |
Quotients of d-frames
Applied Categorical Structures | 2019-06-20 | Paper |
Free constructions and coproducts of d-frames
| 2018-08-13 | Paper |
Bitopology and four-valued logic
| 2018-04-23 | Paper |
The Ho-Zhao problem
| 2018-01-23 | Paper |
Kripke semantics for modal bilattice logic
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Four-valued modal logic: Kripke semantics and duality
Journal Of Logic And Computation | 2017-05-17 | Paper |
A note on coherence of dcpos
Topology and its Applications | 2016-07-27 | Paper |
On a categorical framework for coalgebraic modal logic
| 2016-05-13 | Paper |
QRB, QFS, and the probabilistic powerdomain
| 2016-05-13 | Paper |
All Cartesian closed categories of quasicontinuous domains consist of domains
Theoretical Computer Science | 2015-07-24 | Paper |
A Hofmann-Mislove theorem for bitopological spaces
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Presenting dcpos and dcpo algebras
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Convergence of preference functions
Theoretical Computer Science | 2013-12-19 | Paper |
Priestley duality for strong proximity lattices
| 2013-10-10 | Paper |
Stably compact spaces and the probabilistic powerspace construction
| 2013-08-27 | Paper |
Continuous domain theory in logical form
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Stably compact spaces and closed relations
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Priestley duality for bilattices
Studia Logica | 2012-10-01 | Paper |
A bitopological point-free approach to compactifications
Topology and its Applications | 2011-08-04 | Paper |
scientific article; zbMATH DE number 5504314 (Why is no real title available?)
| 2009-02-09 | Paper |
A Hofmann-Mislove theorem for bitopological spaces
The Journal of Logic and Algebraic Programming | 2008-09-01 | Paper |
A logical approach to stable domains
Theoretical Computer Science | 2007-01-22 | Paper |
The probabilistic powerdomain for stably compact spaces
Theoretical Computer Science | 2005-01-11 | Paper |
scientific article; zbMATH DE number 1948164 (Why is no real title available?)
| 2003-07-10 | Paper |
Linear types and approximation
MSCS. Mathematical Structures in Computer Science | 2001-08-21 | Paper |
Uniform approximation of topological spaces
Topology and its Applications | 2000-03-26 | Paper |
scientific article; zbMATH DE number 1339952 (Why is no real title available?)
| 1999-09-22 | Paper |
scientific article; zbMATH DE number 1231645 (Why is no real title available?)
| 1999-01-06 | Paper |
scientific article; zbMATH DE number 1231573 (Why is no real title available?)
| 1998-12-20 | Paper |
scientific article; zbMATH DE number 1231466 (Why is no real title available?)
| 1998-12-10 | Paper |
scientific article; zbMATH DE number 1107502 (Why is no real title available?)
| 1998-04-05 | Paper |
scientific article; zbMATH DE number 512783 (Why is no real title available?)
| 1994-06-02 | Paper |
scientific article; zbMATH DE number 512784 (Why is no real title available?)
| 1994-03-10 | Paper |
scientific article; zbMATH DE number 48416 (Why is no real title available?)
| 1992-09-17 | Paper |
Using powerdomains to generalize relational databases
Theoretical Computer Science | 1992-06-28 | Paper |
The dependent product construction in various categories of domains
Theoretical Computer Science | 1991-01-01 | Paper |
Cartesian closed categories of algebraic cpos
Theoretical Computer Science | 1990-01-01 | Paper |
Coherence and consistency in domains
Journal of Pure and Applied Algebra | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4083878 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4063163 (Why is no real title available?)
| 1988-01-01 | Paper |
