DMTCS Proceedings, Computational Logic and Applications, CLA '05

Font Size:  Small  Medium  Large

The call-by-value λµ∧∨-calculus

Karim Nour, Khelifa Saber

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.

Full Text: GZIP Compressed PostScript PostScript PDF original HTML abstract page

Valid XHTML 1.0 Transitional