A categorical semantics for causal structure (extended version)
Aleks Kissinger and Sander Uijlen
Journal
Logical Methods in Computer Science (LMCS)
Number
3
Publisher
Springer
Volume
15
Year
2019
Aleks Kissinger and Sander Uijlen