Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics.

Clovis Eberhart, Tom Hirschowitz

Browse the full CALCO paper archive.