The following pages link to Bart Jacobs (Q225076):
Displaying 50 items.
- On block structures in quantum computation (Q265814) (← links)
- The expectation monad in quantum foundations (Q320204) (← links)
- Dagger categories of tame relations (Q382419) (← links)
- Probabilities, distribution monads, and convex categories (Q549198) (← links)
- The inconsistency of higher order extensions of Martin-Löf's type theory (Q583201) (← links)
- Duality beyond sober spaces: Topological spaces and observation frames (Q671991) (← links)
- Simulations in coalgebra (Q703522) (← links)
- Ghost signals: verifying termination of busy waiting (Q832247) (← links)
- Dijkstra and Hoare monads in monadic computation (Q890377) (← links)
- Automatic verification of Java programs with dynamic frames (Q973055) (← links)
- Quantum logic in dagger kernel categories (Q981683) (← links)
- Filter models with polymorphic types (Q1186431) (← links)
- Comprehension categories and the semantics of type dependency (Q1208414) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Categorical logic and type theory (Q1279608) (← links)
- Semantics of weakening and contraction (Q1337357) (← links)
- Object-oriented hybrid systems of coalgebras plus monoid actions (Q1575271) (← links)
- From probability monads to commutative effectuses (Q1683710) (← links)
- Quantum effect logic in cognition (Q1690592) (← links)
- Effectuses from monads (Q1744385) (← links)
- A predicate/state transformer semantics for Bayesian learning (Q1744386) (← links)
- (Q1776577) (redirect page) (← links)
- Formal methods for smart cards: an experience report (Q1776578) (← links)
- Steps and traces (Q1798791) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Weakest pre-condition reasoning for Java programs with JML annotations (Q1881666) (← links)
- Source code verification of a secure payment applet (Q1881671) (← links)
- Involutive categories and monoids, with a GNS-correspondence (Q1929298) (← links)
- Coreflections in algebraic quantum logic (Q1929301) (← links)
- Learning to coordinate (Q2028749) (← links)
- Stick breaking, in coalgebra and probability (Q2104486) (← links)
- A note on distances between probabilistic and quantum distributions (Q2130591) (← links)
- Learning along a channel: the expectation part of expectation-maximisation (Q2133170) (← links)
- Neural nets via forward state transformation and backward loss transformation (Q2133171) (← links)
- De Finetti's construction as a categorical limit (Q2229230) (← links)
- Causal inference by string diagram surgery (Q2289083) (← links)
- Deadlock-free monitors (Q2323988) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- Distributive laws for the coinductive solution of recursive equations (Q2495644) (← links)
- Code-carrying theories (Q2643124) (← links)
- The coalgebraic class specification language CCSL (Q2709810) (← links)
- (Q2722012) (← links)
- Many-sorted coalgebraic modal logic: A model-theoretic study (Q2747941) (← links)
- (Q2754051) (← links)
- (Q2763679) (← links)
- (Q2764132) (← links)
- (Q2767171) (← links)
- (Q2769594) (← links)
- (Q2771757) (← links)
- The Fall of a Tiny Star (Q2803618) (← links)
