Asynchronous Template Games and the Gray Tensor Product of 2-Categories

In his recent and exploratory work on template games and linear logic, Melliès defines sequential and concurrent games as categories with positions as objects and trajectories as morphisms, labelled by a specific synchronization template. In the present paper, we bring the idea one dimension higher...

Full description

Bibliographic Details

Published in:	Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 1 - 13
Main Author:	Mellies, Paul-Andre
Format:	Conference Proceeding
Language:	English
Published:	IEEE 29.06.2021
Subjects:	Additives Computer science Concurrent computing Equalizers Games Semantics Tensors
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!