✦ LIBER ✦

Modal Pure Type Systems

✍ Scribed by Tijn Borghuis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Type Inference for Pure Type Systems

✍ Paula Severi 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 316 KB

Typing in Pure Type Systems

✍ L.S.V. Jutting 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 386 KB

Purely physical modalities

✍ JOHN BACON 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 272 KB

Pure type systems with judgemental equal

✍ ADAMS, ROBIN 📂 Article 📅 2005 🏛 Cambridge University Press 🌐 English ⚖ 196 KB

The expansion postponement in Pure Type

✍ Fangmin Song 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 444 KB

Judgmental subtyping systems with inters

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