共 475 条
[6]
Strong Kochen-Specker theorem and incomputability of quantum randomness
[J].
PHYSICAL REVIEW A,
2012, 86 (06)
[7]
Abramsky S., 2015, P 24 EACSL ANN C COM, V41, P211
[8]
A comonadic view of simulation and quantum resources
[J].
2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS),
2019,