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

zbMath1193.03032arXiv0905.1102MaRDI QIDQ3576003

Khelifa Saber, Karim Nour

Publication date: 28 July 2010

Full work available at URL: https://arxiv.org/abs/0905.1102

zbMATH Keywords

call-by-valueChurch-Rosser propertyparallel reductionpropositional classical logiccomplete development

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Classical propositional logic (03B05) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Some properties of the -calculus

This page was built for publication: Confluency property of the call-by-value $\lambda\mu^{\wedge \vee}$-calculus