Skip to Main content Skip to Navigation
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 metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-01183334
Contributor : Coordination Episciences Iam <>
Submitted on : Wednesday, August 12, 2015 - 10:18:46 AM
Last modification on : Thursday, January 11, 2018 - 6:12:26 AM
Long-term archiving on: : Friday, November 13, 2015 - 11:35:42 AM

File

dmAF0108.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-01183334, version 1

Collections

Citation

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

Share

Metrics

Record views

120

Files downloads

442