Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems
Abstract
We introduce the new framework of Labeled
Related papers
- A unified approach to fully lazy sharing POPL 2012
- From Lambda-sigma to Lambda-upsilon a Journey Through Calculi of Explicit Substitutions POPL 1994
- Pure type systems with corecursion on streams: from finite to infinitary normalisation ICFP 2012
- Factorization and Normalization, Essentially APLAS 2019
- Weak optimality, and the meaning of sharing ICFP 2013
- Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework POPL 2023
- Inlining as a Space Optimization: A Simple Time- and Space-Invariant Implementation of the Weak Lambda-Calculus ICFP 2026
- CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms POPL 1994