research
∙
05/15/2023
Extensional Taylor Expansion
We introduce a calculus of extensional resource terms. These are resourc...
share
research
∙
05/04/2023
How To Play The Accordion. On the (Non-)Conservativity of the Reduction Induced by the Taylor Approximation of λ-Terms
The Taylor expansion, which stems from Linear Logic and its differential...
research
∙
05/01/2023
The algebraic λ-calculus is a conservative extension of the ordinary λ-calculus
The algebraic λ-calculus is an extension of the ordinary λ-calculus with...
research
∙
02/09/2023
Strategies as Resource Terms, and their Categorical Semantics
As shown by Tsukada and Ong, normal (extensional) simply-typed resource ...
research
∙
11/10/2022
Taylor Expansion Finitely Simulates Infinitary β-Reduction
Originating in Girard's Linear logic, Ehrhard and Regnier's Taylor expan...
research
∙
08/06/2020
On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants
We show that the normal form of the Taylor expansion of a λ-term is isom...
research
∙
02/14/2019