scientific article; zbMATH DE number 627411

zbMATH Open0810.03011MaRDI QIDQ4304752FDOQ4304752

Authors: Cosimo Laneve 

Publication date: 20 April 1995

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

Recommendations

• Distributive semantics for nondeterministic typed \(\lambda\)-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

zbMATH Keywords

permutation equivalence\(\lambda\)-calculusconcurrent semantics

Mathematics Subject Classification ID

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

Cited In (6)

• Relating conflict-free stable transition and event models via redex families
• The permutative \(\lambda \)-calculus
• Title not available (Why is that?)
• Redexes are stable in the \(\lambda\)-calculus
• Relating two categorical models of term rewriting
• Cyclic Involutive Distributive Full Lambek Calculus is Decidable

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)