✦ LIBER ✦

Polymorphic lambda calculus: the Church-Rosser property

✍ Scribed by George Koletsos

Book ID: 107948683
Publisher: Elsevier Science
Year: 1991
Tongue: English
Weight: 366 KB
Volume: 79
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(91)90339-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A list-oriented extension of the lambda-

A list-oriented extension of the lambda-calculus satisfying the Church—Rosser theorem

✍ György E. Révész 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 871 KB

Testing for the Church-Rosser property

✍ Ronald V. Book; Colm P. O'Dunlaing 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 845 KB

Thue congruences and the Church-Rosser p

Thue congruences and the Church-Rosser property

✍ Ronald V. Book; Celm P. O'Dunlaing 📂 Article 📅 1981 🏛 Springer 🌐 English ⚖ 519 KB

The Church-Rosser property and special T

The Church-Rosser property and special Thue systems

✍ D. Kapur; P. Narendran; M.S. Krishnamoorthy; R. McNaughton 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 615 KB

Homogeneous Thue systems and the Church-

Homogeneous Thue systems and the Church-Rosser property

✍ Ronald V Book 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 455 KB

Homogeneous Thue systems are considered. It is shown that if a homogeneous Thue system is not Church-Rosser, then there is no Chttrch-Rosser system that is equivalent to it. This result contrasts with the theorems of 0'Dfnlaing [10,11] showing that it is undecidable whether the congruence generated

Complexity Versus the Church-Rosser Prop

Complexity Versus the Church-Rosser Property and Confluence

✍ H. Luckhardt 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 389 KB