Label-selective -calculus syntax and confluence

DOI10.1016/0304-3975(95)00072-5zbMATH Open0871.68032OpenAlexW2004639282MaRDI QIDQ1350342FDOQ1350342

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

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)

zbMATH Keywords

communicationconcurrency\(\lambda\)-calculusrecord calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• The Mechanical Evaluation of Expressions
• Title not available (Why is that?)
• Explicit substitutions
• Title not available (Why is that?)
• Towards a meaning of life
• The transformation calculus
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• Functional pearl: the distributive \(\lambda\)-calculus
• Title not available (Why is that?)
• The λ-calculus with constructors: Syntax, confluence and separation
• Skew confluence and the lambda calculus with letrec

Uses Software

• Ada95
• LISP

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)