LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Asynchronous games 2: the true concurrency of innocence
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Thick Subtrees, Games and Experiments
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
Understanding Game Semantics Through Coherence Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Constructing differential categories and deconstructing categories of games
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Asynchronous games: innocence without alternation
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Constructing differential categories and deconstructing categories of games
Information and Computation
Hi-index | 0.00 |