✦ LIBER ✦

Strong Normalization from Weak Normalization in Typedλ-Calculi

✍ Scribed by Morten Heine Sørensen

Book ID: 112252270
Publisher: Elsevier Science
Year: 1997
Tongue: English
Weight: 546 KB
Volume: 133
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1996.2622

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

λCalculi with Explicit Substitutions Pre

λCalculi with Explicit Substitutions Preserving Strong Normalization

✍ Maria C. F. Ferreira; Delia Kesner; Laurence Puel 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 228 KB

Strong Normalization from Weak Normaliza

Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus

✍ Inge Li Gørtz; Signe Reuss; Morten Heine Sørensen 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 196 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

[Lecture Notes in Computer Science] Type

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Program extraction from normalization proofs

✍ Bezem, Marc; Groote, Jan Friso 📂 Article 📅 1993 🏛 Springer-Verlag ⚖ 734 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

Ground state normalization in the nonmes

Ground state normalization in the nonmesonic weak decay of 12ΛC hypernucleus within a nuclear matter formalism

✍ E. Bauer 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 189 KB

The nonmesonic weak decay width of 12 Λ C hypernucleus has been evaluated within a nuclear matter formalism, using the local density approximation. In addition to the one-body induced decay (ΛN → nN ), it has been also considered the two-body induced decay (ΛN N → nNN). This second decay is originat