TY  - RPRT
TI  - Applying quantitative semantics to higher-order quantum computing
AU  - Michele Pagani
AU  - Peter Selinger
AU  - Benoît Valiron
PY  - 2013
UR  - https://arxiv.org/abs/1311.2290
ID  - 1311.2290
ER  -