✦ LIBER ✦

λCalculi with Explicit Substitutions Preserving Strong Normalization

✍ Scribed by Maria C. F. Ferreira; Delia Kesner; Laurence Puel

Book ID: 105867686
Publisher: Springer
Year: 1999
Tongue: English
Weight: 228 KB
Volume: 9
Category: Article
ISSN: 0938-1279
DOI: 10.1007/s002000050110

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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

Strong Normalization from Weak Normaliza

Strong Normalization from Weak Normalization in Typedλ-Calculi

✍ Morten Heine Sørensen 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 546 KB

Formalizing Strong Normalization Proofs

Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF

✍ Fairouz Kamareddine; Haiyan Qiao 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 259 KB

Confluence of extensional and non-extens

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

✍ Delia Kesner 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 242 KB

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 m

Normalisation for higher-order calculi w

Normalisation for higher-order calculi with explicit substitutions

✍ Eduardo Bonelli 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 578 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