scientific article; zbMATH DE number 7204428

DOI10.4230/LIPICS.FSCD.2017.9MaRDI QIDQ5111304zbMATH OpenFDO

Authors Pablo Barenbaum, Eduardo Bonelli

Publication date 26 May 2020

zbMATH Keywords

lambda calculusrewritingoptimal reductionexplicit substitutions

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Recommendations

• Term Rewriting and Applications
• Paths, computations and labels in the λ-calculus
• Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus
• δο!∈=1 Optimizing optimal λ-calculus implementations
• (Leftmost-outermost) beta reduction is invariant, indeed

Cites work

• scientific article; zbMATH DE number 3889501 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• scientific article; zbMATH DE number 2090063 (Why is no real title available?)
• (Leftmost-outermost) beta reduction is invariant, indeed
• A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property
• A nonstandard standardization theorem
• A strong distillery
• Axiomatic rewriting theory II: the   -calculus enjoys finite normalisation cones
• Beta reduction is invariant, indeed
• Call-by-value solvability, revisited
• Computing in systems described by equations
• Discrete normalization and standardization in deterministic residual structures
• Distilling abstract machines
• Explicit substitutions
• Finite family developments
• Generalized finite developments
• Local bigraphs and confluence: two conjectures (extended abstract)
• On the Relative Usefulness of Fireballs
• Reasoning about call-by-need by means of types
• The optimal implementation of functional programming languages
• The structural \(\lambda \)-calculus
• Weak optimality, and the meaning of sharing

Cited in

(7)

• A nonstandard standardization theorem
• Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
• Minimality in a linear calculus with iteration
• A Fresh Look at the λ-Calculus
• scientific article; zbMATH DE number 1479624 (Why is no real title available?)
• Exponentials as substitutions and the cost of cut elimination in linear logic
• Term Rewriting and Applications

This page was built for publication:

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