| Publication | Date of Publication | Type |
|---|
| Equivalence and conditional independence in atomic sheaf logic | 2025-06-18 | Paper |
The convex powerdomain in a category of posets realized by cpos
Category Theory and Computer Science | 2022-12-16 | Paper |
Constant-\(r\) geodesics in the Painlevé-Gullstrand form of Lense-Thirring spacetime
General Relativity and Gravitation | 2022-09-20 | Paper |
The eye of the storm: a regular Kerr black hole
Journal of Cosmology and Astroparticle Physics | 2022-08-31 | Paper |
| Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular | 2022-05-28 | Paper |
| Category-theoretic structure for independence and conditional independence | 2022-04-25 | Paper |
Black-bounce to traversable wormhole
Journal of Cosmology and Astroparticle Physics | 2022-03-04 | Paper |
Charged black-bounce spacetimes
Journal of Cosmology and Astroparticle Physics | 2022-02-14 | Paper |
Darboux diagonalization of the spatial 3-metric in Kerr spacetime
General Relativity and Gravitation | 2021-12-13 | Paper |
Unit-lapse versions of the Kerr spacetime
Classical and Quantum Gravity | 2021-11-02 | Paper |
Vaidya spacetimes, black-bounces, and traversable wormholes
Classical and Quantum Gravity | 2021-10-28 | Paper |
| scientific article; zbMATH DE number 7357543 (Why is no real title available?) | 2021-06-10 | Paper |
scientific article; zbMATH DE number 7357543 (Why is no real title available?)
(available as arXiv preprint) | 2021-06-10 | Paper |
Behavioural equivalence via modalities for algebraic effects
(available as arXiv preprint) | 2019-09-13 | Paper |
| Behavioural equivalence via modalities for algebraic effects | 2019-09-13 | Paper |
| Probability sheaves and the Giry monad | 2018-08-13 | Paper |
Łukasiewicz \(\mu\)-calculus
Fundamenta Informaticae | 2017-11-10 | Paper |
Cyclic arithmetic is equivalent to Peano arithmetic
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
Lecture Notes in Computer Science | 2016-06-10 | Paper |
Relational parametricity for control considered as a computational effect
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
The enriched effect calculus: syntax and semantics
Journal Of Logic And Computation | 2015-01-12 | Paper |
Abstract datatypes for real numbers in type theory
Lecture Notes in Computer Science | 2014-07-24 | Paper |
Relating first-order set theories, toposes and categories of classes
Annals of Pure and Applied Logic | 2013-12-10 | Paper |
A convenient category of domains
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Probabilistic observations and valuations (extended abstract) | 2013-10-08 | Paper |
A Proof System for Compositional Verification of Probabilistic Concurrent Processes
Lecture Notes in Computer Science | 2013-03-18 | Paper |
Linear-use CPS translations in the enriched effect calculus
Logical Methods in Computer Science | 2012-10-22 | Paper |
Measure, randomness and sublocales
Annals of Pure and Applied Logic | 2012-09-26 | Paper |
Constructive toposes with countable sums as models of constructive set theory
Annals of Pure and Applied Logic | 2012-09-06 | Paper |
Sequent calculi for induction and infinite descent
Journal Of Logic And Computation | 2011-12-19 | Paper |
Linearly-Used Continuations in the Enriched Effect Calculus
Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
Enriching an Effect Calculus with Linear Types
Computer Science Logic | 2009-11-12 | Paper |
Relational Parametricity for Computational Effects
Logical Methods in Computer Science | 2009-08-20 | Paper |
Relating First-Order Set Theories and Elementary Toposes
The Bulletin of Symbolic Logic | 2008-10-23 | Paper |
A Logic for Parametric Polymorphism with Effects
Lecture Notes in Computer Science | 2008-06-03 | Paper |
Two preservation results for countable products of sequential spaces
Mathematical Structures in Computer Science | 2007-04-12 | Paper |
Representing probability measures using probabilistic processes
Journal of Complexity | 2007-02-08 | Paper |
Compactly generated domain theory
Mathematical Structures in Computer Science | 2006-08-10 | Paper |
Coalgebraic semantics for timed processes
Information and Computation | 2006-06-30 | Paper |
| scientific article; zbMATH DE number 2247250 (Why is no real title available?) | 2006-01-16 | Paper |
Term Rewriting and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
| scientific article; zbMATH DE number 2185676 (Why is no real title available?) | 2005-07-04 | Paper |
Two constructive embedding‐extension theorems with applications to continuity principles and to Banach‐Mazur computability
Mathematical Logic Quarterly | 2005-02-16 | Paper |
Computational adequacy for recursive types in models of intuitionistic set theory
Annals of Pure and Applied Logic | 2004-11-18 | Paper |
Comparing Cartesian closed categories of (core) compactly generated spaces
Topology and its Applications | 2004-10-01 | Paper |
Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS
The Journal of Logic and Algebraic Programming | 2004-09-08 | Paper |
| scientific article; zbMATH DE number 2087443 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2086646 (Why is no real title available?) | 2004-08-11 | Paper |
Topological and limit-space subcategories of countably-based equilogical spaces
Mathematical Structures in Computer Science | 2004-02-24 | Paper |
An equational notion of lifting monad
Theoretical Computer Science | 2003-07-29 | Paper |
Axioms and (counter)examples in synthetic domain theory
Annals of Pure and Applied Logic | 2001-05-16 | Paper |
| scientific article; zbMATH DE number 1497816 (Why is no real title available?) | 2001-03-04 | Paper |
| scientific article; zbMATH DE number 1531373 (Why is no real title available?) | 2001-02-28 | Paper |
A uniform approach to domain theory in realizability models
Mathematical Structures in Computer Science | 2000-04-06 | Paper |
| scientific article; zbMATH DE number 1342221 (Why is no real title available?) | 2000-03-29 | Paper |
| scientific article; zbMATH DE number 1342278 (Why is no real title available?) | 1999-11-21 | Paper |
| scientific article; zbMATH DE number 1330449 (Why is no real title available?) | 1999-09-21 | Paper |
| scientific article; zbMATH DE number 1222580 (Why is no real title available?) | 1999-06-10 | Paper |
| scientific article; zbMATH DE number 937389 (Why is no real title available?) | 1996-10-20 | Paper |
A characterization of the least-fixed-point operator by dinaturality
Theoretical Computer Science | 1993-10-17 | Paper |
