Confluency property of the call-by-value $λμ^{\wedge \vee}$-calculus

Simple item page
dc.creatorNour, Karim
dc.creatorSaber, Khelifa
dc.date2009-05-07
dc.date.accessioned2026-07-07T13:12:44Z
dc.date.available2026-07-07T13:12:44Z
dc.descriptionIn this paper, we introduce the $λμ^{\wedge \vee}$- 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 which uses an extended parallel reduction method and complete development.
dc.identifierhttps://arxiv.org/abs/0905.1102
dc.identifierhttp://arxiv.org/abs/0905.1102
dc.identifierComputational Logic and Applications, CLA '05, France (2005)
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/229663
dc.subjectLogic
dc.titleConfluency property of the call-by-value $λμ^{\wedge \vee}$-calculus
dc.typetext

Files

Collections

arXiv