Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-01183334
Contributor : Coordination Episciences Iam Connect in order to contact the contributor
Submitted on : Wednesday, August 12, 2015 - 10:18:46 AM
Last modification on : Thursday, October 7, 2021 - 10:45:17 AM
Long-term archiving on: : Friday, November 13, 2015 - 11:35:42 AM

File

dmAF0108.pdf
Publisher files allowed on an open archive

Identifiers

Collections

Citation

Karim Nour, Khelifa Saber. The call-by-value λµ∧∨-calculus. Computational Logic and Applications, CLA '05, 2005, Chambéry, France. pp.97-108, ⟨10.46298/dmtcs.3470⟩. ⟨hal-01183334⟩

Share

Metrics

Record views

68

Files downloads

388