Categorical Combinatorics for Innocent Strategies.

Russell Harmer, Martin Hyland, Paul-Andr Mellis

Browse the full LICS paper archive.