Confluency property of the call-by-value λμ^(wedge vee)-calculus
classification
🧮 math.LO
keywords
calculuscall-by-valuelambdaproofpropertywedgeadaptationandou
read the original abstract
In this paper, we introduce the $\lambda\mu^{\wedge \vee}$- call-by-value calculus and we give a proof of the Church-Rosser property of this system. This proof is an adaptation of that of Andou which uses an extended parallel reduction method and complete development.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.