✦ LIBER ✦

Types with intersection: An introduction

✍ Scribed by J. Roger Hindley

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Judgmental subtyping systems with inters

✍ Seo, Jeongbong; Park, Sungwoo 📂 Article 📅 2013 🏛 Springer-Verlag 🌐 English ⚖ 628 KB

Strongly Normalising Cut-Elimination wit

✍ Steffen van Bakel 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 196 KB

Polar Type Inference with Intersection T

✍ Sébastien Carlier 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 200 KB

An elementary proof of strong normalizat

✍ Silvio Valentini 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 105 KB

Implementing Compositional Analysis Usin

✍ Assaf Kfoury; Geoffrey Washburn; J.B. Wells 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 264 KB

Reducibility: A ubiquitous method in lam

✍ Silvia Ghilezan; Silvia Likavec 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 203 KB