𝔖 Bobbio Scriptorium

✦ LIBER ✦

Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF

✍ Scribed by Fairouz Kamareddine; Haiyan Qiao

Book ID: 110421310
Publisher: Springer Netherlands
Year: 2003
Tongue: English
Weight: 259 KB
Volume: 30
Category: Article
ISSN: 0168-7433
DOI: 10.1023/a:1022527914293

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