| Publication | Date of Publication | Type |
|---|
Pearl's and Jeffrey's update as modes of learning in probabilistic programming
| 2026-04-02 | Paper |
Sufficient statistics and split idempotents in discrete probability theory
| 2026-04-02 | Paper |
Multinomial and hypergeometric distributions in Markov categories
| 2024-12-17 | Paper |
Learning from what's right and learning from what's wrong
| 2024-12-17 | Paper |
Partitions and Ewens distributions in element-free probability theory
| 2024-12-06 | Paper |
Drawing from an urn is isometric
| 2024-10-30 | Paper |
Multisets and distributions, in drawing and learning
| 2024-10-01 | Paper |
Counting and matching
| 2024-09-25 | Paper |
Uniqueness types for efficient and verifiable aliasing-free embedded systems programming
| 2024-04-19 | Paper |
Overdrawing Urns using Categories of Signed Probabilities
| 2023-12-14 | Paper |
Urns & Tubes
Compositionality | 2023-01-12 | Paper |
Stick breaking, in coalgebra and probability
| 2022-12-07 | Paper |
On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa
Category Theory and Computer Science | 2022-08-16 | Paper |
Mongruences and cofree coalgebras
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
Causal inference via string diagram surgery. A diagrammatic approach to interventions and counterfactuals
Mathematical Structures in Computer Science | 2022-05-17 | Paper |
Learning along a channel: the expectation part of expectation-maximisation
| 2022-04-29 | Paper |
Neural nets via forward state transformation and backward loss transformation
| 2022-04-29 | Paper |
A note on distances between probabilistic and quantum distributions
| 2022-04-25 | Paper |
Ghost signals: verifying termination of busy waiting
| 2022-03-25 | Paper |
scientific article; zbMATH DE number 7449983 (Why is no real title available?)
| 2021-12-20 | Paper |
Quotient-comprehension chains
| 2021-12-06 | Paper |
Towards a categorical account of conditional probability
| 2021-12-06 | Paper |
Steps and traces
Journal Of Logic And Computation | 2021-10-21 | Paper |
scientific article; zbMATH DE number 7407787 (Why is no real title available?)
| 2021-10-08 | Paper |
Urns & Tubes
| 2021-10-05 | Paper |
Learning to coordinate
| 2021-06-03 | Paper |
The expectation monad in quantum foundations
| 2021-04-27 | Paper |
De Finetti's construction as a categorical limit
| 2021-02-22 | Paper |
The Logical Essentials of Bayesian Reasoning
Foundations of Probabilistic Programming | 2021-02-16 | Paper |
A formal semantics of influence in Bayesian reasoning
| 2020-05-26 | Paper |
scientific article; zbMATH DE number 7199585 (Why is no real title available?)
| 2020-05-12 | Paper |
De Finetti's construction as a categorical limit
| 2020-03-04 | Paper |
Causal inference by string diagram surgery
| 2020-01-28 | Paper |
Disintegration and Bayesian inversion via string diagrams
Mathematical Structures in Computer Science | 2019-11-15 | Paper |
The mathematics of changing one's mind, via Jeffrey's or via Pearl's update rule
Journal of Artificial Intelligence Research | 2019-09-13 | Paper |
Deadlock-free monitors
| 2019-09-13 | Paper |
Causal Inference by String Diagram Surgery
| 2018-11-20 | Paper |
Steps and traces
| 2018-10-23 | Paper |
A type theory for probabilistic and Bayesian reasoning
| 2018-08-13 | Paper |
The EfProb library for probabilistic calculations
| 2018-08-13 | Paper |
Healthiness from Duality
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
A predicate/state transformer semantics for Bayesian learning
| 2018-04-23 | Paper |
Effectuses from monads
| 2018-04-23 | Paper |
Quantum effect logic in cognition
Journal of Mathematical Psychology | 2018-01-19 | Paper |
Polymorphic encryption and pseudonymisation in identity management and medical research
| 2018-01-09 | Paper |
From probability monads to commutative effectuses
Journal of Logical and Algebraic Methods in Programming | 2017-12-01 | Paper |
Category theory in Coq 8.5
| 2017-10-17 | Paper |
Hyper normalisation and conditioning for discrete probability distributions
| 2017-10-12 | Paper |
A recipe for state-and-effect triangles
| 2017-07-11 | Paper |
Measurable spaces and their effect logic
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
A recipe for state-and-effect triangles
| 2017-06-22 | Paper |
Relating operator spaces via adjunctions
| 2016-12-20 | Paper |
An effect-theoretic account of Lebesgue integration
Electronic Notes in Theoretical Computer Science | 2016-12-16 | Paper |
Introduction to coalgebra. Towards mathematics of states and observation
Cambridge Tracts in Theoretical Computer Science | 2016-10-26 | Paper |
Quantum logic in dagger kernel categories
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
The expectation monad in quantum foundations
Information and Computation | 2016-10-06 | Paper |
Security monitor inlining and certification for multithreaded Java
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Affine Monads and Side-Effect-Freeness
Coalgebraic Methods in Computer Science | 2016-07-15 | Paper |
Coalgebraic representation theory of fractals
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
The fall of a tiny star
The New Codebreakers | 2016-05-02 | Paper |
On block structures in quantum computation
| 2016-04-12 | Paper |
Dijkstra and Hoare monads in monadic computation
Theoretical Computer Science | 2015-11-10 | Paper |
Featherweight VeriFast
Logical Methods in Computer Science | 2015-10-29 | Paper |
New directions in categorical logic, for classical, probabilistic and quantum logic
Logical Methods in Computer Science | 2015-10-29 | Paper |
States of convex sets
Lecture Notes in Computer Science | 2015-10-01 | Paper |
Dijkstra Monads in Monadic Computation
Advanced Information Systems Engineering | 2015-09-11 | Paper |
From Kleisli categories to commutative \(C^*\)-algebras: probabilistic Gelfand duality
Logical Methods in Computer Science | 2015-08-25 | Paper |
Trace semantics via determinization
Journal of Computer and System Sciences | 2015-04-28 | Paper |
Automata Learning: A Categorical Perspective
Lecture Notes in Computer Science | 2014-06-02 | Paper |
Scalars, monads and categories
| 2014-05-19 | Paper |
Initial algebras of terms with binding and algebraic structure
Lecture Notes in Computer Science | 2014-05-08 | Paper |
An introduction to (co)algebra and (co)induction
Advanced Topics in Bisimulation and Coinduction | 2014-04-24 | Paper |
Expressive modular fine-grained concurrency specification
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Coalgebraic trace semantics for combined possibilitistic and probabilistic systems
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Generic trace theory
| 2013-12-04 | Paper |
Dagger categories of tame relations
Logica Universalis | 2013-11-19 | Paper |
Arrows, like monads, are monoids
| 2013-10-10 | Paper |
Bases as coalgebras
Logical Methods in Computer Science | 2013-09-26 | Paper |
From Kleisli categories to commutative \(C ^{*}\)-algebras: probabilistic gelfand duality
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
Relating two approaches to coinductive solution of recursive equations
| 2013-09-11 | Paper |
Trace semantics for coalgebras
| 2013-09-11 | Paper |
Simulations in coalgebra
| 2013-08-23 | Paper |
Factorization systems and fibrations: toward a fibred Birkhoff variety theorem
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
Comprehension for coalgebras
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
Coreflections in algebraic quantum logic
Foundations of Physics | 2013-01-07 | Paper |
Involutive categories and monoids, with a GNS-correspondence
Foundations of Physics | 2013-01-07 | Paper |
From coalgebraic to monoidal traces
Electronic Notes in Theoretical Computer Science | 2012-10-02 | Paper |
Trace semantics via determinization
Coalgebraic Methods in Computer Science | 2012-09-20 | Paper |
Fibrational induction meets effects
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
Coalgebraic components in a many-sorted microcosm
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Traces, Executions and Schedulers, Coalgebraically
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Bases as coalgebras
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Logical formalisation and analysis of the Mifare Classic card in PVS
Interactive Theorem Proving | 2011-08-17 | Paper |
Probabilities, distribution monads, and convex categories
Theoretical Computer Science | 2011-07-07 | Paper |
Traces for coalgebraic components
Mathematical Structures in Computer Science | 2011-06-10 | Paper |
Coalgebraic walks, in quantum and Turing computation
Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
Exemplaric Expressivity of Modal Logics
Journal Of Logic And Computation | 2010-11-11 | Paper |
Convexity, duality and effects
IFIP Advances in Information and Communication Technology | 2010-10-27 | Paper |
Orthomodular lattices, Foulis semigroups and dagger kernel categories
Logical Methods in Computer Science | 2010-07-27 | Paper |
Quantum logic in dagger kernel categories
Order | 2010-07-02 | Paper |
Automatic verification of Java programs with dynamic frames
Formal Aspects of Computing | 2010-05-28 | Paper |
Java's integral types in PVS.
Lecture Notes in Computer Science | 2010-01-12 | Paper |
Categorical semantics for arrows
Journal of Functional Programming | 2009-10-28 | Paper |
A Machine Checked Soundness Proof for an Intermediate Verification Language
Lecture Notes in Computer Science | 2009-02-03 | Paper |
The Microcosm Principle and Concurrency in Coalgebra
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Generic Trace Semantics via Coinduction
Logical Methods in Computer Science | 2008-04-01 | Paper |
Categorical Views on Computations on Trees (Extended Abstract)
Automata, Languages and Programming | 2007-11-28 | Paper |
A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Code-carrying theories
Formal Aspects of Computing | 2007-08-23 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Distributive laws for the coinductive solution of recursive equations
Information and Computation | 2006-06-30 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Formal methods for smart cards: an experience report
Science of Computer Programming | 2005-05-12 | Paper |
Simulations in coalgebra
Theoretical Computer Science | 2005-01-11 | Paper |
Source code verification of a secure payment applet
The Journal of Logic and Algebraic Programming | 2004-10-14 | Paper |
Weakest pre-condition reasoning for Java programs with JML annotations
The Journal of Logic and Algebraic Programming | 2004-10-14 | Paper |
scientific article; zbMATH DE number 2087345 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2079043 (Why is no real title available?)
| 2004-07-21 | Paper |
The temporal logic of coalgebras via Galois algebras
Mathematical Structures in Computer Science | 2004-02-16 | Paper |
scientific article; zbMATH DE number 1863372 (Why is no real title available?)
| 2003-02-04 | Paper |
Coalgebras and monads in the semantics of Java
Theoretical Computer Science | 2003-01-22 | Paper |
scientific article; zbMATH DE number 1706337 (Why is no real title available?)
| 2002-02-18 | Paper |
scientific article; zbMATH DE number 1701766 (Why is no real title available?)
| 2002-02-05 | Paper |
scientific article; zbMATH DE number 1696886 (Why is no real title available?)
| 2002-01-28 | Paper |
A case study in class library verification: Java's vector class
International Journal on Software Tools for Technology Transfer. STTT | 2002-01-23 | Paper |
Many-sorted coalgebraic modal logic: A model-theoretic study
RAIRO. Theoretical Informatics and Applications | 2002-01-23 | Paper |
scientific article; zbMATH DE number 1693527 (Why is no real title available?)
| 2002-01-22 | Paper |
scientific article; zbMATH DE number 1692946 (Why is no real title available?)
| 2002-01-21 | Paper |
scientific article; zbMATH DE number 1670750 (Why is no real title available?)
| 2001-11-11 | Paper |
The coalgebraic class specification language CCSL
Journal of Universal Computer Science | 2001-08-13 | Paper |
scientific article; zbMATH DE number 1617288 (Why is no real title available?)
| 2001-07-11 | Paper |
scientific article; zbMATH DE number 1497877 (Why is no real title available?)
| 2001-03-05 | Paper |
scientific article; zbMATH DE number 1499095 (Why is no real title available?)
| 2000-09-03 | Paper |
Object-oriented hybrid systems of coalgebras plus monoid actions
Theoretical Computer Science | 2000-08-21 | Paper |
Structural induction and coinduction in a fibrational setting
Information and Computation | 2000-07-31 | Paper |
Coalgebraic theories of sequences in PVS
Journal Of Logic And Computation | 1999-12-01 | Paper |
Categorical logic and type theory
Studies in Logic and the Foundations of Mathematics | 1999-02-11 | Paper |
scientific article; zbMATH DE number 1231635 (Why is no real title available?)
| 1999-01-06 | Paper |
scientific article; zbMATH DE number 1231461 (Why is no real title available?)
| 1998-12-10 | Paper |
scientific article; zbMATH DE number 1064116 (Why is no real title available?)
| 1997-11-20 | Paper |
scientific article; zbMATH DE number 1086721 (Why is no real title available?)
| 1997-11-13 | Paper |
Duality beyond sober spaces: Topological spaces and observation frames
Theoretical Computer Science | 1997-02-27 | Paper |
On cubism
Journal of Functional Programming | 1996-12-16 | Paper |
Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi
Mathematical Structures in Computer Science | 1996-08-27 | Paper |
scientific article; zbMATH DE number 810100 (Why is no real title available?)
| 1996-02-13 | Paper |
Semantics of weakening and contraction
Annals of Pure and Applied Logic | 1994-11-03 | Paper |
scientific article; zbMATH DE number 512781 (Why is no real title available?)
| 1994-04-07 | Paper |
scientific article; zbMATH DE number 517051 (Why is no real title available?)
| 1994-03-17 | Paper |
scientific article; zbMATH DE number 512782 (Why is no real title available?)
| 1994-03-10 | Paper |
scientific article; zbMATH DE number 431764 (Why is no real title available?)
| 1993-11-11 | Paper |
Comprehension categories and the semantics of type dependency
Theoretical Computer Science | 1993-05-16 | Paper |
Semantics of the second order lambda calculus
Mathematical Structures in Computer Science | 1992-09-26 | Paper |
Filter models with polymorphic types
Theoretical Computer Science | 1992-06-28 | Paper |
The inconsistency of higher order extensions of Martin-Löf's type theory
Journal of Philosophical Logic | 1989-01-01 | Paper |
