scientific article; zbMATH DE number 1354150

MaRDI QIDQ4268465zbMATH OpenFDO

Authors Hassan Aït-Kaci, Jacques Garrigue

Publication date 31 October 1999

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Label-selective -calculus syntax and confluence
• Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
• The λ-calculus with constructors: Syntax, confluence and separation
• The permutative -calculus
• Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract)

Cited in

(10)

• \(\lambda_{\beta'}\) -- a \(\lambda\)-calculus with a generalized \(\beta\)-reduction rule
• Label-selective -calculus syntax and confluence
• Skew confluence and the lambda calculus with letrec
• Labelling techniques and typed fixed-point operators
• The λ-calculus with constructors: Syntax, confluence and separation
• scientific article; zbMATH DE number 18638 (Why is no real title available?)
• scientific article; zbMATH DE number 1490006 (Why is no real title available?)
• Foundations of Software Science and Computation Structures
• MBase: Representing knowledge and context for the integration of mathematical software systems
• A new proposal of concurrent process 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 Q4268465)