QPL2017 - John van de Wetering. Quantum theory is a quasi-stochastic process theory

(19:35)

QPL2017 - Bob Coecke, John Selby and Sean Tull. Two Roads to Classicality

(18:45)

QPL2017 - B Coecke, S Gogioso, A Kissinger. von Neumann measurements (IQSA talk)

(18:44)

QPL2017 - A Blass and Y Gurevich. Common denominator for value and expectation no-go theorems

(18:50)

QPL2017 - Bart Jacobs. Effectus Theory (invited tutorial)

(1:32:39)

John van de Wetering - The ZH-calculus: completeness and extensions

(22:57)

John van de Wetering - Quantum Theory from First Principles (1/4)

(47:16)

QPL2017 - P Selinger and F Rios. A categorical model for a quantum circuit description language

(31:29)

QPL2017 - Dan Marsden. String diagrams for category theory

(1:32:4)

QCTIP2020 - John van de Wetering

(18:30)

QPL2017 - Maaike Zwart and Bob Coecke. Double Dilation ≠ Double Mixing

(14:36)

QPL2017 - R Rand, J Paykin and S Zdancewic. QWIRE Practice: Formal Verification of Quantum Circuits

(29:11)

QPL2017 - Ronald de Wolf. Quantum algorithms (invited tutorial)

(1:39:34)

John van de Wetering (UvA) — Using the ZX-calculus for classical simulation and beyond

(48:24)

John van de Wetering: An effect-theoretic reconstruction of quantum theory

(1:19:43)

QPL2017 - Ravi Kunjwal. Irreducible noncontextuality inequalities from the Kochen-Specker theorem

(22:13)

QPL2017 - Paulo Perinotti. The hierarchy of higher-order quantum computations

(52:4)