- Mar 14, 2016 »
Duplicable von Neumann algebras
by Abraham Westerbaan
- Mar 08, 2016 »
Join Inverse Categories as Models of Reversible Recursion
by Robin Kaarsgaard
- Feb 24, 2016 »
A model of the quantum lambda calculus by von Neumann algebras
by Kenta Cho
- Feb 10, 2016 »
Intuitionistic Linear Logic With Leftovers
by Guillaume Allais
- Feb 04, 2016 »
Notions of computation in monoidal computer
by Dusko Pavlovic
- Jan 27, 2016 »
A Characterisation of the Sequential Product on Von Neumann Algebras
by Bas Westerbaan
- Jan 13, 2016 »
Classifying AW*-algebras by their commutative AW*-subalgebras
by Bert Lindenhovius
- Jan 06, 2016 »
Affine Monads and Side-Effect-Freeness
by Bart Jacobs
- Dec 09, 2015 »
Almost C*-algebras
by Tobias Fritz
- Dec 02, 2015 »
Equational Reasoning in Context-Free Families of String Diagrams
by Vladimir Zamdzhiev
- Nov 25, 2015 »
The Dagger Category of Pure Maps Between von Neumann Algebras (And That of an Effectus)
by Bas Westerbaan
- Nov 19, 2015 »
Side-Effect Freeness and Sharpness in Effectus Theory
by Kenta Cho
- Nov 11, 2015 »
Probabilistic PCF
by Mathys Rennela
- Oct 28, 2015 »
Contextuality as a Resource in Quantum Computation
by Nadish da Silva
- Oct 21, 2015 »
The Syntax-Semantics Duality as a Biequivalence of 2-Categories
by Robin Adams
- Oct 14, 2015 »
Paschke’s Dilation Theorem
by Bas Westerbaan
- Oct 07, 2015 »
Test spaces
by Sander Uijlen
- Sep 30, 2015 »
Cohomology of effect algebras II
by Frank Roumen
- Sep 23, 2015 »
Quantum recursion and second quantization
by Mingsheng Ying
- Sep 16, 2015 »
Cohomology of effect algebras
by Frank Roumen
- Sep 16, 2015 »
Effectus theory and operator probabilistic theories
by Sean Tull
- Jul 01, 2015 »
Modular techniques for axiomatising PROPs
by Fabio Zanasi
- Jun 17, 2015 »
States and effects on quantum groups
by Frank Roumen
- Jun 10, 2015 »
Nominal Kleene co-algebra
by Dexter Kozen
- May 13, 2015 »
Extensive categories and effectuses
by Abraham Westerbaan
- May 06, 2015 »
Lax bialgebras
by Daniela Petrisan
- Apr 21, 2015 »
Diagram languages for monoidal categories
by Aleks Kissinger
- Mar 25, 2015 »
CP*-construction and effectuses
by Abraham Westerbaan
- Mar 15, 2015 »
Order-valued presheaves as quantum computations
by Mathys Rennela
- Mar 04, 2015 »
Joins in effect algebras / modules
by Bart Jacobs
- Feb 25, 2015 »
Partial computations in effectuses
by Kenta Cho
- Feb 18, 2015 »
Quotient, comprehension and measurement
by Bas Westerbaan
- Feb 11, 2015 »
Sigma-effect algebras
by Sander Uijlen
- Feb 04, 2015 »
Abstract theory of quantum domains
by Mathys Rennela
- Dec 10, 2014 »
Type theory for a quantum category
by Robin Adams
- Dec 03, 2014 »
Verification for quantum systems: termination and reachability
by Yangjia Li
- Dec 03, 2014 »
QPL with quantum control
by prakash
- Nov 26, 2014 »
Models of contextuality
by Sam Staton
- Nov 19, 2014 »
Measurable spaces and C*-algebras, take II
by Robert Furber
- Nov 12, 2014 »
Nested fixpoints - a coalgebraic view
by Daniela Petrisan
- Nov 05, 2014 »
Bayesian networks as coalgebras
by Bart Jacobs
- Oct 29, 2014 »
Representation of side-effect free objects of an effectus
by Bas Westerbaan and Abraham Westerbaan
- Oct 22, 2014 »
Towards coalgebraic dynamic logic
by Helle Hansen
- Oct 15, 2014 »
Categories of partial computation and state-and-effect triangles
by Kenta Cho
- Oct 08, 2014 »
Effect algebras and cyclic sets
by Frank Roumen
- Sep 17, 2014 »
\(\mathbf{Meas} \cong \mathbf{CW}^*\mathbf{Alg}\)
by Robert Furber
- Sep 03, 2014 »
Unordered tuples in quantum computation
by Bas Westerbaan
- Jul 02, 2014 »
Coordinatizing MV-algebras
by Philip Scott
- May 07, 2014 »
Tensor products of C*-algebras and W*-algebras
by Kenta Cho
- Apr 30, 2014 »
LSET - Logic for State-and-Effect Triangles
by Robin Adams
- Apr 23, 2014 »
Semantics of quantum computation by operator algebras
by Kenta Cho
- Apr 16, 2014 »
An equational characterization of quantum computation
by Sam Staton
- Mar 27, 2014 »
Logics for reasoning about quantum programming
by Robin Adams
- Mar 05, 2014 »
No-Cloning Theorem
by Hans Maassen
- Feb 26, 2014 »
Kochen-Specker Theorem
by Sander Uijlen
- Feb 19, 2014 »
Bohrification
by Bas Westerbaan
- Feb 12, 2014 »
Quantum Programming Languages, Algebraic Effects and C*-algebras
by Sam Staton
- Feb 05, 2014 »
Measurable Spaces and Effect Algebras
by Sander Uijlen
- Jan 30, 2014 »
Dynamic Logics for Quantum Computation
by Robin Adams
- Jan 22, 2014 »
Quantum Information for Quantum Key Distribution
by Bas Westerbaan
- Dec 12, 2013 »
C*-algebras and States
by Bart Jacobs
- Dec 04, 2013 »
Coalgebraic Modal Logic
by Helle Hansen
- Nov 27, 2013 »
Monads and Notions of Computation
by Sam Staton
- Nov 20, 2013 »
Faces, Radon Monad and Expectation Monad
by Robert Furber
- Nov 20, 2013 »
Quantum Coalgebras and Bisimulation
by Frank Roumen
- Nov 13, 2013 »
Weakest preconditions for classical, probabilistic and quantum computation
by Mathys Rennela
- Nov 06, 2013 »
Topology, domain theory and von Neumann algebras
by Mathys Rennela
- Oct 30, 2013 »
Quantum Coalgebras
by Frank Roumen
- Oct 23, 2013 »
C*-algebras
by Robert Furber