Taylor expansion, -reduction and normalization
From MaRDI portal
Publication:5111209
DOI10.4230/LIPICS.CSL.2017.39zbMATH Open1434.03063OpenAlexW2758334970MaRDI QIDQ5111209FDOQ5111209
Authors: Lionel Vaux Edit this on Wikidata
Publication date: 26 May 2020
Full work available at URL: https://hal-amu.archives-ouvertes.fr/hal-01834329
Recommendations
- scientific article; zbMATH DE number 7089070
- Uniformity and the Taylor expansion of ordinary lambda-terms
- A characterization of the Taylor expansion of \(\lambda\)-terms
- Geometry of resource interaction and Taylor-Ehrhard-Regnier expansion: \textit{a minimalist approach}
- Logical Approaches to Computational Barriers
Cited In (15)
- Title not available (Why is that?)
- On Linear Combinations of λ-Terms
- Title not available (Why is that?)
- Logical Approaches to Computational Barriers
- Uniformity and the Taylor expansion of ordinary lambda-terms
- Taylor expansion, finiteness and strategies
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
- Böhm's theorem for resource lambda calculus through Taylor expansion
- A characterization of the Taylor expansion of \(\lambda\)-terms
- Title not available (Why is that?)
- Title not available (Why is that?)
- Geometry of resource interaction and Taylor-Ehrhard-Regnier expansion: \textit{a minimalist approach}
- Strong normalizability as a finiteness structure via the Taylor expansion of \(\lambda\)-terms
- Krivine machine and Taylor expansion in a non-uniform setting
- Title not available (Why is that?)
This page was built for publication: Taylor expansion, \(\beta\)-reduction and normalization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111209)
