| Publication | Date of Publication | Type |
|---|
| Propositional logics for the Lawvere quantale | 2026-04-02 | Paper |
Rod Burstall: in memoriam (1934--2025)
Formal Aspects of Computing | 2026-01-22 | Paper |
| Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics | 2025-12-04 | Paper |
Sum and tensor of quantitative effects
Logical Methods in Computer Science | 2024-11-12 | Paper |
| Recursion does not always help | 2024-09-06 | Paper |
| Tensor of quantitative equational theories | 2023-12-08 | Paper |
Smart Choices and the Selection Monad
Logical Methods in Computer Science | 2023-08-26 | Paper |
scientific article; zbMATH DE number 7650831 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-07 | Paper |
A semantics for type checking
Lecture Notes in Computer Science | 2022-08-16 | Paper |
| Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies | 2022-05-03 | Paper |
A complete equational axiomatisation of partial differentiation
(available as arXiv preprint) | 2022-04-29 | Paper |
| Chromar, a rule-based language of parameterised objects | 2022-04-25 | Paper |
Quantitative Equational Reasoning
Foundations of Probabilistic Programming | 2021-02-16 | Paper |
An algebraic theory of Markov processes
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| scientific article; zbMATH DE number 7297850 (Why is no real title available?) | 2021-01-19 | Paper |
scientific article; zbMATH DE number 7297850 (Why is no real title available?)
(available as arXiv preprint) | 2021-01-19 | Paper |
Reverse derivative categories
(available as arXiv preprint) | 2019-10-15 | Paper |
Chromar, a language of parameterised agents
Theoretical Computer Science | 2019-06-18 | Paper |
Bistructures, bidomains and linear logic
Automata, Languages and Programming | 2019-04-29 | Paper |
| A calculus of chemical systems | 2018-10-18 | Paper |
Free complete Wasserstein algebras
(available as arXiv preprint) | 2018-09-26 | Paper |
Quantitative Algebraic Reasoning
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Dijkstra monads for free
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
scientific article; zbMATH DE number 6712178 (Why is no real title available?)
(available as arXiv preprint) | 2017-05-08 | Paper |
Scaling network verification using symmetry and surgery
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
Dependent types and fibred computational effects
Lecture Notes in Computer Science | 2016-06-10 | Paper |
| Layout randomization and nondeterminism | 2016-04-12 | Paper |
Foundations of differential dataflow
Lecture Notes in Computer Science | 2015-10-01 | Paper |
Algebraic foundations for effect-dependent optimisations
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
A model of cooperative threads
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs
Fundamenta Informaticae | 2015-06-26 | Paper |
Approximating Markov processes by averaging
Journal of the ACM | 2014-09-12 | Paper |
Cartesian closed categories of separable Scott domains
Theoretical Computer Science | 2014-07-25 | Paper |
Layout Randomization and Nondeterminism
Lecture Notes in Computer Science | 2014-06-02 | Paper |
Tensors of comodels and models for operational semantics
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Handling algebraic effects
Logical Methods in Computer Science | 2014-01-08 | Paper |
| Computational effects and operations: an overview | 2013-10-10 | Paper |
Semantic domains for combining probability and non-determinism
Electronic Notes in Theoretical Computer Science | 2013-09-30 | Paper |
Retracted: Semantic domains for combining probability and non-determinism
Electronic Notes in Theoretical Computer Science | 2013-09-30 | Paper |
The compiler forest
Programming Languages and Systems | 2013-08-05 | Paper |
Partial recursive functions and finality
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Multi-level modelling via stochastic multi-level multiset rewriting
Mathematical Structures in Computer Science | 2013-04-29 | Paper |
Bialgebraic semantics and recursion (extended abstract)
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Semantics for algebraic operations
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Approximating labelled Markov processes again!
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
A model of cooperative threads
Logical Methods in Computer Science | 2010-12-20 | Paper |
| scientific article; zbMATH DE number 5823840 (Why is no real title available?) | 2010-12-08 | Paper |
Robin Milner: 13 January 1934-20 March 2010
Formal Aspects of Computing | 2010-11-22 | Paper |
On CSP and the algebraic theory of effects
Reflections on the Work of C.A.R. Hoare | 2010-10-26 | Paper |
Configuration structures, event structures and Petri nets
Theoretical Computer Science | 2009-09-29 | Paper |
Approximating Markov Processes by Averaging
Automata, Languages and Programming | 2009-07-14 | Paper |
Predicate transformers for extended probability and non-determinism
Mathematical Structures in Computer Science | 2009-06-30 | Paper |
On the completeness of order-theoretic models of the \(\lambda \)-calculus
Information and Computation | 2009-06-08 | Paper |
Handlers of Algebraic Effects
Programming Languages and Systems | 2009-03-31 | Paper |
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories
Pillars of Computer Science | 2008-03-25 | Paper |
Some Varieties of Equational Logic
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Combining algebraic effects with continuations
Theoretical Computer Science | 2007-05-11 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Combining effects: sum and tensor
Theoretical Computer Science | 2006-08-16 | Paper |
A domain-theoretic Banach–Alaoglu theorem
Mathematical Structures in Computer Science | 2006-08-10 | Paper |
Mathematical Foundations of Computer Science 2004
Lecture Notes in Computer Science | 2005-08-22 | Paper |
A structural approach to operational semantics
The Journal of Logic and Algebraic Programming | 2004-09-08 | Paper |
The origins of structural operational semantics
The Journal of Logic and Algebraic Programming | 2004-09-08 | Paper |
| scientific article; zbMATH DE number 2087441 (Why is no real title available?) | 2004-08-11 | Paper |
Algebraic operations and generic effects
Applied Categorical Structures | 2003-06-09 | Paper |
Three inadequate models
Formal Aspects of Computing | 2002-09-25 | Paper |
| scientific article; zbMATH DE number 1705158 (Why is no real title available?) | 2002-02-14 | Paper |
| scientific article; zbMATH DE number 1670816 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1523049 (Why is no real title available?) | 2000-10-30 | Paper |
Full abstraction, totality and PCF
Mathematical Structures in Computer Science | 1999-04-13 | Paper |
| scientific article; zbMATH DE number 1223613 (Why is no real title available?) | 1999-03-18 | Paper |
| scientific article; zbMATH DE number 1086664 (Why is no real title available?) | 1998-03-17 | Paper |
| scientific article; zbMATH DE number 1059324 (Why is no real title available?) | 1997-09-10 | Paper |
On a question of H. Friedman
Information and Computation | 1996-07-03 | Paper |
| scientific article; zbMATH DE number 794258 (Why is no real title available?) | 1996-06-25 | Paper |
Concrete domains
Theoretical Computer Science | 1995-03-20 | Paper |
A semantics for static type inference
Information and Computation | 1995-01-08 | Paper |
Set-theoretical and other elementary models of the \(\lambda\)-calculus
Theoretical Computer Science | 1994-06-22 | Paper |
| scientific article; zbMATH DE number 512792 (Why is no real title available?) | 1994-06-02 | Paper |
A logical view of composition
Theoretical Computer Science | 1994-01-13 | Paper |
On functors expressible in the polymorphic typed lambda calculus
Information and Computation | 1993-08-30 | Paper |
A framework for defining logics
Journal of the ACM | 1993-05-16 | Paper |
FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES
International Journal of Foundations of Computer Science | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 4180813 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4059362 (Why is no real title available?) | 1987-01-01 | Paper |
On Proving Limiting Completeness
SIAM Journal on Computing | 1987-01-01 | Paper |
Countable nondeterminism and random assignment
Journal of the ACM | 1986-01-01 | Paper |
An ideal model for recursive polymorphic types
Information and Control | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3808928 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3799002 (Why is no real title available?) | 1983-01-01 | Paper |
The Category-Theoretic Solution of Recursive Domain Equations
SIAM Journal on Computing | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3806938 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3902043 (Why is no real title available?) | 1982-01-01 | Paper |
Petri nets, event structures and domains. I
Theoretical Computer Science | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3729429 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3733226 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3754002 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3651760 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3716749 (Why is no real title available?) | 1979-01-01 | Paper |
LCF considered as a programming language
Theoretical Computer Science | 1978-01-01 | Paper |
\(\mathbb{T}^\omega\) as a universal domain
Journal of Computer and System Sciences | 1978-01-01 | Paper |
A Powerdomain Construction
SIAM Journal on Computing | 1976-01-01 | Paper |
Call-by-name, call-by-value and the \(\lambda\)-calculus
Theoretical Computer Science | 1975-01-01 | Paper |
The λ-calculus is ω-incomplete
Journal of Symbolic Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3413831 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3412190 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3349329 (Why is no real title available?) | 1969-01-01 | Paper |
