Geometry of Interaction I: Interpretation of System~F
Book Chapter
Formal Antecedent
Foundations and Logic
Citation
Jean-Yves Girard. (1989). Geometry of Interaction I: Interpretation of System~F. Logic Colloquium ‘88. pp. 221–260. North-Holland.
Why this reference is included
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.”
Cited in
-
Book I — Categorical Foundations Part 18Chapter The Enrichment Frontier
Girard's Geometry of Interaction reconceives proofs as interactive processes that respect linear resource discipline