𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Confluence of extensional and non-extens
✍ 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