✦ LIBER ✦

Confluence of extensional and non-extensional λ-calculi with explicit substitutions

✍ Scribed by Delia Kesner

Book ID: 104326545
Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 242 KB
Volume: 238
Category: Article
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(98)00166-2

No coin nor oath required. For personal study only.

✦ Synopsis

This paper studies con uence of extensional and non-extensional -calculi with explicit substitutions, where extensionality is interpreted by Á-expansion. For that, we propose a scheme for explicit substitutions which describes those abstract properties that are su cient to guarantee con uence. Our method makes it possible to treat at the same time many well-known calculi such as ; ⇑ ; ; s; v; f ; d and dn .

📜 SIMILAR VOLUMES

Counterexamples to applicative simulatio

Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec

✍ Manfred Schmidt-Schauß; David Sabel; Elena Machkasova 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 157 KB

CINNI - A Generic Calculus of Explicit S

CINNI - A Generic Calculus of Explicit Substitutions and its Application to λ- ς- and π-Calculi

✍ Mark- Oliver Stehr 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 205 KB

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1139 || λ-calculi with explicit substitutions and composition which preserve β-strong normalization

✍ Hanus, Michael; Rodríguez-Artalejo, Mario 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 813 KB