scientific article; zbMATH DE number 627411

MaRDI QIDQ4304752zbMATH OpenFDO

Authors Cosimo Laneve

Publication date 20 April 1995

zbMATH Keywords

permutation equivalence\(\lambda\)-calculusconcurrent semantics

Mathematics Subject Classification ID

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

Recommendations

• Distributive semantics for nondeterministic typed -calculi
• Functional pearl: the distributive \(\lambda\)-calculus
• The \(\lambda\)-context calculus
• A mixed \(\lambda\)-calculus
• The differential lambda-calculus
• A calculus of lambda calculus contexts
• Some results on extensionality in lambda calculus
• The structural \(\lambda \)-calculus
• Publication:4490747
• scientific article; zbMATH DE number 2006628

Cited in

(6)

• The permutative \(\lambda \)-calculus
• scientific article; zbMATH DE number 7809760 (Why is no real title available?)
• Relating conflict-free stable transition and event models via redex families
• Cyclic Involutive Distributive Full Lambek Calculus is Decidable
• Relating two categorical models of term rewriting
• Redexes are stable in the \(\lambda\)-calculus

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 Q4304752)