✦ LIBER ✦

Normalisation for higher-order calculi with explicit substitutions

✍ Scribed by Eduardo Bonelli

Book ID: 108281008
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 578 KB
Volume: 333
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2004.10.019

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Higher Order Unification via Explicit Su

Higher Order Unification via Explicit Substitutions

✍ Gilles Dowek; Thérèse Hardin; Claude Kirchner 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 481 KB

Explicit substitutions and higher-order

Explicit substitutions and higher-order syntax

✍ Neil Ghani; Tarmo Uustalu; Makoto Hamana 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 403 KB

λ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

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

Contextual Labelled Semantics for Higher

Contextual Labelled Semantics for Higher-order Process Calculi

✍ Yongjian Li 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 309 KB

Higher-ordered rules for symbolic substi

Higher-ordered rules for symbolic substitution

✍ S.P. Kozaitis 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 205 KB