Taylor Expansion and Game Semantics - Exploring Isomorphisms in Lambda Calculus

Explore a cutting-edge research presentation on the intersection of Taylor expansion and game semantics in lambda calculus. Delve into the work-in-progress findings that demonstrate an isomorphism between the Taylor expansion of a λ-term and its interpretation in pointer concurrent games. Examine the extension of Tsukada and Ong's 2016 results, which established a correspondence between resource terms and plays in Hyland-Ong games. Discover how the authors utilize pointer concurrent games to represent plays quotiented by homotopy and establish an isomorphism between normal, η-long resource terms and augmentations. Investigate the definition of Taylor expansion for simply-typed λ-terms and its compatibility with game semantics. Gain insights into this advanced topic in programming language theory and its potential implications for understanding infinite behavior in λ-terms.

[GALOP'24] Taylor Expansion is Game Semantics