✦ LIBER ✦

On strong normalization and type inference in the intersection type discipline

✍ Scribed by Gérard Boudol

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Expansion: the Crucial Mechanism for Typ

✍ Sébastien Carlier; J.B. Wells 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 467 KB

Intersection and Union Types in the -cal

✍ Daniel J. Dougherty; Silvia Ghilezan; Pierre Lescanne 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 339 KB

The influence of institutional type and

📂 Article 📅 2009 🏛 John Wiley and Sons ⚖ 704 KB

Yule–Walker type estimators in periodic

✍ Abdelouahab Bibi; Abdelhakim Aknouche 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 554 KB

Exact likelihood inference based on Type

✍ A. Childs; B. Chandrasekar; N. Balakrishnan; D. Kundu 📂 Article 📅 2003 🏛 Springer Japan 🌐 English ⚖ 591 KB

The effects of differences in explanatio

✍ Nina D. Cole 📂 Article 📅 2008 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 105 KB