Geodesic
The call-by-value λµ∧∨-calculus
Discrete mathematics & theoretical computer science, DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05), DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05) (2005).

Voir la notice de l'article provenant de la source Episciences

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 (2003) which uses an extended parallel reduction method and complete development. 
@article{DMTCS_2005_special_251_a2,
     author = {Nour, Karim and Saber, Khelifa},
     title = {The call-by-value \ensuremath{\lambda}{\textmu}\ensuremath{\wedge}\ensuremath{\vee}-calculus},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05)},
     year = {2005},
     doi = {10.46298/dmtcs.3470},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.3470/}
}
TY  - JOUR
AU  - Nour, Karim
AU  - Saber, Khelifa
TI  - The call-by-value λµ∧∨-calculus
JO  - Discrete mathematics & theoretical computer science
PY  - 2005
VL  - DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05)
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.3470/
DO  - 10.46298/dmtcs.3470
LA  - en
ID  - DMTCS_2005_special_251_a2
ER  - 
%0 Journal Article
%A Nour, Karim
%A Saber, Khelifa
%T The call-by-value λµ∧∨-calculus
%J Discrete mathematics & theoretical computer science
%D 2005
%V DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05)
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.3470/
%R 10.46298/dmtcs.3470
%G en
%F DMTCS_2005_special_251_a2
Nour, Karim; Saber, Khelifa. The call-by-value λµ∧∨-calculus. Discrete mathematics & theoretical computer science, DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05), DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05) (2005). doi : 10.46298/dmtcs.3470. http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.3470/

Cité par Sources :