Type

regular talk

Title

Quantum Hoare Type Theory

Author(s)

Kartik Singhal and John Reppy.

Schedule

Thursday, 17:30 (UTC+2)

Paper

[PDF]

Video