TY  - RPRT
TI  - A HoTT Quantum Equational Theory (Extended Version)
AU  - Jennifer Paykin
AU  - Steve Zdancewic
PY  - 2019
UR  - https://arxiv.org/abs/1904.04371
ID  - 1904.04371
ER  -