The call-by-value λµ∧∨-calculus
Résumé
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.
Origine | Fichiers éditeurs autorisés sur une archive ouverte |
---|
Loading...