-
Physics of the Hilbert Book Model
322 pages -
Dynamic Quantum Logic for Quantum Programs
International audience -
Natural Language Semantics in Biproduct Dagger Categories
International audience -
Orthogonality and Dimensionality
International audience -
Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical L...
Session: Quantum Calculi -
From Logical to Distributional Models
In Bob Coecke and Matty Hoban: Proceedings of the 10th International Workshop on Quantum Physics and Logic (QPL 2013), Castelldefels (Barcelona), Spain, 17th to 19th July 2013
