Taylor expansion, β-reduction and normalization

DOI10.4230/LIPICS.CSL.2017.39zbMATH Open1434.03063OpenAlexW2758334970MaRDI QIDQ5111209FDOQ5111209

Lionel Vaux

Publication date: 26 May 2020

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

zbMATH Keywords

denotational semanticslambda-calculusnormalizationnon-determinism

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Taylor expansion, finiteness and strategies
• Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111209)