共 50 条
- [3] Towards a Categorical Representation of Reversible Event Structures ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (246): : 49 - 60
- [6] A general categorical connection between local event structures and local traces FUNDAMENTALS OF COMPUTATION THEORY, 1999, 1684 : 338 - 349
- [8] Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (171): : 100 - 112
- [10] A Quantum Computational Semantics for Epistemic Logical Operators. Part I: Epistemic Structures International Journal of Theoretical Physics, 2014, 53 : 3279 - 3292