- Home
- Proceedings
- LICS
- LICS 2021
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Asynchronous Template Games and the Gray Tensor Product of 2-Categories
Year: 2021, Pages: 1-13Authors
Paul-André Melliès, CNRS, Université de Paris,Institut de Recherche en Informatique Fondamentale (IRIF),France
Abstract