𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Highlights in infinitary rewriting and lambda calculus

✍ Scribed by Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem


Book ID
119375400
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
982 KB
Volume
464
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Full Intersection Types and Topologies i
✍ Silvia Ghilezan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 136 KB

Topologies are introduced on the set of lambda terms by their typeability in the full intersection type assignment system. These topologies give rise to simple proofs of some fundamental results of the lambda calculus such as the continuity theorem and the genericity lemma. We show that application