Categorical combinatorics for innocent strategies (0)

by R Harmer, J M E Hyland, P-A Melliès
Venue:Proc. Logic in Computer Science 2007