Flow Analysis in the Geometry of Interaction
No abstract available.
Related papers
- Particle-Style Geometry of Interaction as a Module System APLAS 2018
- The Geometry of Interaction Machine POPL 1995
- From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis ICFP 2003
- The Geometry of Optimal Lambda Reduction POPL 1992
- The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding POPL 2023
- Memoryful geometry of interaction II: recursion and adequacy POPL 2016
- Geometry of synthesis: a structured approach to VLSI design POPL 2007
- The geometry of parallelism: classical, probabilistic, and quantum effects POPL 2017