The call-by-value λµ∧∨-calculus

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 (2003) which uses an extended parallel reduction method and complete development.
Type de document :
Communication dans un congrès
David, René and Gardy, Danièle and Lescanne, Pierre and Zaionc, Marek. Computational Logic and Applications, CLA '05, 2005, Chambéry, France. Discrete Mathematics and Theoretical Computer Science, DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05), pp.97-108, 2005, DMTCS Proceedings
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01183334
Contributeur : Coordination Episciences Iam <>
Soumis le : mercredi 12 août 2015 - 10:18:46
Dernière modification le : jeudi 11 janvier 2018 - 06:12:26
Document(s) archivé(s) le : vendredi 13 novembre 2015 - 11:35:42

Fichier

dmAF0108.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01183334, version 1

Collections

LAMA | UGA

Citation

Karim Nour, Khelifa Saber. The call-by-value λµ∧∨-calculus. David, René and Gardy, Danièle and Lescanne, Pierre and Zaionc, Marek. Computational Logic and Applications, CLA '05, 2005, Chambéry, France. Discrete Mathematics and Theoretical Computer Science, DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05), pp.97-108, 2005, DMTCS Proceedings. 〈hal-01183334〉

Partager

Métriques

Consultations de la notice

85

Téléchargements de fichiers

42