Label-selective \(\lambda\)-calculus syntax and confluence
type: Item
instance of: scholarly article
title: Label-selective \(\lambda\)-calculus syntax and confluence
zbMATH Open document ID: 0871.68032
DOI: 10.1016/0304-3975(95)00072-5
author: Hassan Aït-Kaci
author: Jacques Garrigue
published in: Theoretical Computer Science
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 983984
zbMATH Keywords: \(\lambda\)-calculus
zbMATH Keywords: record calculus
zbMATH Keywords: concurrency
zbMATH Keywords: communication
describes a project that uses: Ada95
describes a project that uses: LISP
MaRDI profile type: Publication
full work available at URL: 0304-3975(95)00072-5
OpenAlex ID: W2004639282
cites work: Explicit substitutions
cites work: Q4268465
cites work: Towards a meaning of life
cites work: Q5667469
cites work: Q3785893
cites work: Q4937119
cites work: The transformation calculus
cites work: Q3922646
cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
cites work: The Mechanical Evaluation of Expressions
cites work: Q4038690
cites work: Q3997095
description: scientific article; zbMATH DE number 983984