DOAJ Open Access 2005

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

Karim Nour Khelifa Saber

Lihat Sumber DOI

Abstrak

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.

Topik & Kata Kunci

Mathematics

Penulis (2)

Karim Nour

Khelifa Saber

Format Sitasi

APA MLA BibTeX

Nour, K., Saber, K. (2005). The call-by-value λµ∧∨-calculus. https://doi.org/10.46298/dmtcs.3470

Akses Cepat

Lihat di Sumber doi.org/10.46298/dmtcs.3470

Informasi Jurnal

Tahun Terbit: 2005
Sumber Database: DOAJ
DOI: 10.46298/dmtcs.3470
Akses: Open Access ✓