Label-selective -calculus syntax and confluence

DOI10.1016/0304-3975(95)00072-5MaRDI QIDQ1350342zbMATH OpenOpenAlexFDO

Authors Hassan Aït-Kaci, Jacques Garrigue

Publication date 27 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(95)00072-5

zbMATH Keywords

communicationconcurrency\(\lambda\)-calculusrecord calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 1354150
• Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
• The permutative \(\lambda \)-calculus
• The λ-calculus with constructors: Syntax, confluence and separation
• Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract)

Cites work

• scientific article; zbMATH DE number 4048997 (Why is no real title available?)
• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 46981 (Why is no real title available?)
• scientific article; zbMATH DE number 177812 (Why is no real title available?)
• scientific article; zbMATH DE number 1354150 (Why is no real title available?)
• scientific article; zbMATH DE number 1398007 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Explicit substitutions
• The Mechanical Evaluation of Expressions
• The transformation calculus
• Towards a meaning of life

Cited in

(5)

• Functional pearl: the distributive \(\lambda\)-calculus
• scientific article; zbMATH DE number 1490006 (Why is no real title available?)
• scientific article; zbMATH DE number 18638 (Why is no real title available?)
• Skew confluence and the lambda calculus with letrec
• The λ-calculus with constructors: Syntax, confluence and separation

Describes a project that uses

Uses Software

• LISP
• Ada95

This page was built for publication: Label-selective \(\lambda\)-calculus syntax and confluence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1350342)