共 60 条
- [1] A categorical semantics of quantum protocols [J]. 19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, : 415 - 425
- [2] Abramsky S., 1996, CONCUR '96: Concurrency Theory. 7th International Conference. Proceedings, P1
- [3] Abramsky S, 2012, PROC SYM AP, V71, P1
- [4] [Anonymous], 2007, MATH QUANTUM COMPUTI
- [5] [Anonymous], 2006, 1 COURSE FUZZY THEOR
- [6] [Anonymous], 1999, FUZZY LOGIC INTELLIG
- [7] [Anonymous], 2013, ON FUZZINESS
- [8] Arbib M. A., 1975, Bulletin of the Australian Mathematical Society, V13, P169, DOI 10.1017/S0004972700024412
- [9] Awodey S., 2010, Category Theory, V2nd
- [10] Baez J.C., ARXIV PREPRINT ARXIV