| Publication | Date of Publication | Type |
|---|
| Quantum CPOs | 2024-11-28 | Paper |
| Semantics for a lambda calculus for string diagrams | 2024-10-01 | Paper |
scientific article; zbMATH DE number 7774244 (Why is no real title available?)
(available as arXiv preprint) | 2023-12-08 | Paper |
A simple language supporting angelic nondeterminism and parallel composition
Lecture Notes in Computer Science | 2023-08-16 | Paper |
A category of quantum posets
Indagationes Mathematicae. New Series | 2022-10-21 | Paper |
Completing simple valuations in K-categories
Topology and its Applications | 2022-08-20 | Paper |
| Semantics for Variational Quantum Programming | 2021-07-28 | Paper |
scientific article; zbMATH DE number 7350775 (Why is no real title available?)
(available as arXiv preprint) | 2021-05-25 | Paper |
| scientific article; zbMATH DE number 7350775 (Why is no real title available?) | 2021-05-25 | Paper |
| Probabilistic monads, domains and classical information | 2021-04-27 | Paper |
Probabilistic monads, domains and classical information
(available as arXiv preprint) | 2021-04-27 | Paper |
| Commutative Monads for Probabilistic Programming Languages | 2021-01-31 | Paper |
A category of quantum posets
(available as arXiv preprint) | 2021-01-26 | Paper |
Enriching a linear/non-linear lambda calculus: a programming language for string diagrams
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Domains and stochastic processes
Theoretical Computer Science | 2020-01-22 | Paper |
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
(available as arXiv preprint) | 2019-06-22 | Paper |
| Discrete random variables over domains, revisited | 2018-03-26 | Paper |
Every infinite compact group can have a non-measurable subgroup
Topology and its Applications | 2016-08-31 | Paper |
| Domains and Random Variables | 2016-07-18 | Paper |
| Every compact group can have a non-measurable subgroup | 2015-03-04 | Paper |
Anatomy of a domain of continuous random variables. I
Theoretical Computer Science | 2014-07-25 | Paper |
From Haar to Lebesgue via domain theory
Lecture Notes in Computer Science | 2014-06-02 | Paper |
Labelled Markov processes as generalised stochastic relations
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Erratum to: Articles by A.H. Clifford
Semigroup Forum | 2013-11-22 | Paper |
| Axioms for probability and nondeterminism | 2013-09-09 | Paper |
Anatomy of a domain of continuous random variables. II
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
| Compact affine monoids, harmonic analysis and information theory | 2012-10-01 | Paper |
Testing Semantics: Connecting Processes and Process Logics
Algebraic Methodology and Software Technology | 2009-04-28 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Discrete random variables over domains
Theoretical Computer Science | 2007-07-16 | Paper |
Monoids over domains
Mathematical Structures in Computer Science | 2006-08-10 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Domain theory, testing and simulation for labelled Markov processes
Theoretical Computer Science | 2005-04-06 | Paper |
Measuring the probabilistic powerdomain
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2086644 (Why is no real title available?) | 2004-08-11 | Paper |
A simple process algebra based on atomic actions with resources
Mathematical Structures in Computer Science | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 1956514 (Why is no real title available?) | 2003-07-30 | Paper |
| Continuous Lattices and Domains | 2003-01-07 | Paper |
A truly concurrent semantics for a process algebra using resource pomsets
Theoretical Computer Science | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1759622 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1424057 (Why is no real title available?) | 2000-03-23 | Paper |
Topology, domain theory and theoretical computer science
Topology and its Applications | 1999-10-19 | Paper |
| scientific article; zbMATH DE number 1330450 (Why is no real title available?) | 1999-09-21 | Paper |
| scientific article; zbMATH DE number 1257343 (Why is no real title available?) | 1999-05-04 | Paper |
| scientific article; zbMATH DE number 1182707 (Why is no real title available?) | 1999-02-24 | Paper |
| scientific article; zbMATH DE number 1231577 (Why is no real title available?) | 1998-12-20 | Paper |
| scientific article; zbMATH DE number 1231470 (Why is no real title available?) | 1998-12-10 | Paper |
| scientific article; zbMATH DE number 1189290 (Why is no real title available?) | 1998-10-08 | Paper |
Full abstraction and recursion
Theoretical Computer Science | 1997-09-09 | Paper |
Fixed points without completeness
Theoretical Computer Science | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 943700 (Why is no real title available?) | 1996-11-10 | Paper |
| scientific article; zbMATH DE number 742722 (Why is no real title available?) | 1995-09-10 | Paper |
| scientific article; zbMATH DE number 742719 (Why is no real title available?) | 1995-04-09 | Paper |
| scientific article; zbMATH DE number 17698 (Why is no real title available?) | 1992-06-26 | Paper |
Non-well-founded sets modeled as ideal fixed points
Information and Computation | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4168741 (Why is no real title available?) | 1990-01-01 | Paper |
Addendum: Local product structures on homogeneous continua
Topology and its Applications | 1990-01-01 | Paper |
Local product structures on homogeneous continua
Topology and its Applications | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4181325 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4122044 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4089615 (Why is no real title available?) | 1988-01-01 | Paper |
Ordered sets with no infinite antichains
Discrete Mathematics | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3977062 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3957187 (Why is no real title available?) | 1985-01-01 | Paper |
Semilattices which must contain a copy of \(2^ N\)
Semigroup Forum | 1985-01-01 | Paper |
Infinite antichains in semilattices
Order | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3920750 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3880769 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3816325 (Why is no real title available?) | 1983-01-01 | Paper |
| Compact Extensions of Compactly Generated Nilpotent Groups are Pro-Lie | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3769694 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3726420 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3703348 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3703348 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3703347 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3706504 (Why is no real title available?) | 1980-01-01 | Paper |
The lattice of kernel operators and topological algebra
Mathematische Zeitschrift | 1977-01-01 | Paper |
Amalgamation in categories with concrete duals
Algebra Universalis | 1976-01-01 | Paper |
Symmetry in Fourier-Stieltjes algebras
Mathematische Annalen | 1975-01-01 | Paper |
Epics of compact Lawson semilattices are surjective
Archiv der Mathematik | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3489411 (Why is no real title available?) | 1975-01-01 | Paper |
| On the Fixed Point Set of a Compact Transformation Group with some Applications to Compact Monoids | 1975-01-01 | Paper |
The Pontryagin duality of compact O-dimensional semilattices and its applications
Lecture Notes in Mathematics | 1974-01-01 | Paper |
| Semigroups Over Trees | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3462210 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3478942 (Why is no real title available?) | 1973-01-01 | Paper |
Dimension raising maps in topological algebra
Mathematische Zeitschrift | 1973-01-01 | Paper |
The Existence of Irr(X)
Transactions of the American Mathematical Society | 1973-01-01 | Paper |
Errors in elements of compact semigroups
Semigroup Forum | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3457178 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3463691 (Why is no real title available?) | 1973-01-01 | Paper |
The existence and structure of Irr(X)
Semigroup Forum | 1972-01-01 | Paper |
A class of semigroups having almost trivial multiplications
Semigroup Forum | 1972-01-01 | Paper |
The centralizing theorem for left normal groups of units in compact monoids
Semigroup Forum | 1971-01-01 | Paper |
Representations by HL-semigroups
Mathematische Zeitschrift | 1971-01-01 | Paper |
Representations by HL-semigroups
Mathematische Zeitschrift | 1971-01-01 | Paper |
The existence of Irr(X)
Semigroup Forum | 1970-01-01 | Paper |
Semigroups over trees
Semigroup Forum | 1970-01-01 | Paper |
