TY  - RPRT
TI  - Holistic logical arguments in quantum computation
AU  - Maria Luisa Dalla Chiara
AU  - Roberto Giuntini
AU  - Roberto Leporini
AU  - Giuseppe Sergioli
PY  - 2016
UR  - https://arxiv.org/abs/1602.07516
ID  - 1602.07516
ER  -