Confluency property of the call-by-value $\lambda\mu^{\wedge \vee}$-calculus
Logic
2009-05-08 v1
Abstract
In this paper, we introduce the - 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.
Cite
@article{arxiv.0905.1102,
title = {Confluency property of the call-by-value $\lambda\mu^{\wedge \vee}$-calculus},
author = {Karim Nour and Khelifa Saber},
journal= {arXiv preprint arXiv:0905.1102},
year = {2009}
}