scientific article; zbMATH DE number 627411

MaRDI QIDQ4304752zbMATH OpenFDO

Authors Cosimo Laneve

Publication date 20 April 1995

zbMATH Keywords

\(\lambda\)-calculusconcurrent semanticspermutation equivalence

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(9)

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

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)