scientific article; zbMATH DE number 7204428

DOI10.4230/LIPICS.FSCD.2017.9zbMATH Open1434.68217MaRDI QIDQ5111304FDOQ5111304

Eduardo Bonelli, Pablo Barenbaum

Publication date: 26 May 2020

Title of this publication is not available (Why is that?)

zbMATH Keywords

lambda calculusrewritingoptimal reductionexplicit substitutions

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Call-by-Value Solvability, Revisited
• Computing in systems described by equations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Explicit substitutions
• Local bigraphs and confluence: two conjectures (extended abstract)
• The Structural λ-Calculus
• Beta reduction is invariant, indeed
• A nonstandard standardization theorem
• Distilling abstract machines
• Discrete Normalization and Standardization in Deterministic Residual Structures
• Finite family developments
• Axiomatic rewriting theory II: the   -calculus enjoys finite normalisation cones
• Reasoning About Call-by-need by Means of Types
• On the Relative Usefulness of Fireballs
• Weak optimality, and the meaning of sharing
• A Strong Distillery
• (Leftmost-outermost) beta reduction is invariant, indeed
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property

Cited In (4)

• Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
• A Fresh Look at the λ-Calculus
• Title not available (Why is that?)
• Exponentials as substitutions and the cost of cut elimination in linear logic

   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 👍 👎

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)