TY  - RPRT
TI  - Holistic type extension for classical propositional logic in quantum computation
AU  - H. Freytes
AU  - R. Giuntini
AU  - G. Sergioli
PY  - 2019
UR  - https://arxiv.org/abs/1904.04561
ID  - 1904.04561
ER  -