Categorical combinatorics for innocent strategies (2007)

by Russ Harmer, Martin Hyland, Paul-André Melliès