Benoit Valiron: \

(33:5)

A Scalable Quantum Programming Language - Benoit Valiron - June 9 2015

(57:12)

Benoit Valiron: \

(34:34)

Concrete Categorical Model of a Quantum Circuit Description Language with Measurement

(24:49)

CACM August 2015 - Programming the Quantum Future

(4:8)

Plenary Session 3 - Quantum linear optics

(1:34:40)

Hybrid quantum-classical circuit simplification with the ZX-calculus

(14:3)

[Extended] Paper Review: \

(16:48)

LOv-Calculus: Graphical Language for Linear Optics

(9:39)

PWLTO#5 – Colin Lupton on Quantum Lambda Calculus

(57:42)

[Summary] Paper Review: \

(7:47)

(IWQC20) Christophe Chareton: A formally certified implementation of Shor algorithm quantum circuit

(21:32)

Kenta Cho: \

(31:1econd)

(IWQC20) Agustín Borgna: Hybrid quantum-classical circuit optimization with the ZX-calculus

(21:52)

Language-Integrated Quantum Operations:A Software Architecture for Quantum Computing

(58:10)

Mission-capable Quantum Computing for Software Verification and Validation (VV)

(4:12)

Colloquium: How does a quantum particle see the world?

(1:6:40)

Porting Week: Better Quantum Counting in Cirq

(56:9)