Type

regular talk

Title

Gottesman Types for Quantum Programs

Author(s)

Robert Rand, Aarthi Sundaram, Kartik Singhal and Brad Lackey

Schedule

Thursday, 17:00 (UTC+2)

Paper

[PDF]

Video