[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Categorical Semantics for Time Travel
Pinzani, Nicola, Gogioso, Stefano, Coecke, BobYear:
2019
Language:
english
DOI:
10.1109/lics.2019.8785664
File:
PDF, 711 KB
english, 2019