Label-selective \(\lambda\)-calculus syntax and confluence

DOI10.1016/0304-3975(95)00072-5zbMath0871.68032OpenAlexW2004639282MaRDI QIDQ1350342

Jacques Garrigue, Hassan Aït-Kaci

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

communication\(\lambda\)-calculusconcurrencyrecord calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

Functional pearl: the distributive \(\lambda\)-calculus

Uses Software

• Ada95
• LISP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The transformation calculus
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Explicit substitutions
• Towards a meaning of life
• The Mechanical Evaluation of Expressions

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