ChiQP Lab
ChiQP Lab
Publications
People
News
Contact
3
A Rich Type System for Quantum Programs
Aarthi Sundaram
,
Robert Rand
,
Kartik Singhal
,
Brad Lackey
VyZX: A Vision for Verifying the ZX Calculus
Adrian Lehmann
,
Ben Caldwell
,
Robert Rand
Cite
×