Taylor expansion, β-reduction and normalization

DOI10.4230/LIPICS.CSL.2017.39zbMath1434.03063OpenAlexW2758334970MaRDI QIDQ5111209

Lionel Vaux

Publication date: 26 May 2020

Full work available at URL: https://hal-amu.archives-ouvertes.fr/hal-01834329

zbMATH Keywords

normalizationdenotational semanticslambda-calculusnon-determinism

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (6)

Taylor expansion, finiteness and strategies ⋮ Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Taylor expansion, β-reduction and normalization