Geometry of Interaction I: Interpretation of System~F

Girard’s chapter Geometry of Interaction I: Interpretation of System~F (1989) in Logic Colloquium ‘88 sits in the program’s reference corpus. Cited in Book I (Categorical Foundations), Part 18, Chapter The Enrichment Frontier, where the program draws on it in the context of “Girard’s Geometry of Interaction reconceives proofs as interactive processes that respect linear resource discipline.”