Taylor expansion, -reduction and normalization
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 7089070
- Uniformity and the Taylor expansion of ordinary lambda-terms
- A characterization of the Taylor expansion of -terms
- Geometry of resource interaction and Taylor-Ehrhard-Regnier expansion: \textit{a minimalist approach}
- Logical Approaches to Computational Barriers
Cited in
(16)- scientific article; zbMATH DE number 7089070 (Why is no real title available?)
- On Linear Combinations of λ-Terms
- scientific article; zbMATH DE number 7566060 (Why is no real title available?)
- 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 -terms
- scientific article; zbMATH DE number 7471690 (Why is no real title available?)
- scientific article; zbMATH DE number 7533340 (Why is no real title available?)
- Coherence by normalization for linear multicategorical structures
- Geometry of resource interaction and Taylor-Ehrhard-Regnier expansion: \textit{a minimalist approach}
- Strong normalizability as a finiteness structure via the Taylor expansion of -terms
- Krivine machine and Taylor expansion in a non-uniform setting
- scientific article; zbMATH DE number 7471682 (Why is no real title available?)
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)
