Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
