✦ LIBER ✦

An elementary proof of strong normalization for intersection types

✍ Scribed by Silvio Valentini

Book ID: 105842488
Publisher: Springer
Year: 2001
Tongue: English
Weight: 105 KB
Volume: 40
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s001530000070

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An elementary proof of double Greibach n

An elementary proof of double Greibach normal form

✍ Joost Engelfriet 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 193 KB

An elementary proof that every matroid i

An elementary proof that every matroid is an intersection of principal transversal matroids

✍ Geoffrey P. Whittle 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 60 KB

A principal transversal matroid is one containing a basis which spans all cyclic flats. A matroid M is the basis intersection of matroids M1,.. •, Mk if the bases of M are precisely the common bases of M1,..., Mk. Bondy and Welsh [2], Brualdi [3] and Bixby [1] have shown that every matroid is the ba

An elementary proof of the strong law of

An elementary proof of the strong law of large numbers

✍ N. Etemadi 📂 Article 📅 1981 🏛 Springer 🌐 English ⚖ 125 KB

A Proof of Strong Normalization for F2,

A Proof of Strong Normalization for F2, Fω, and Beyond

✍ D. Mcallester; J. Kucan; D.F. Otth 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 645 KB

An elementary proof of a generalization

An elementary proof of a generalization of double Greibach normal form

✍ Ryo Yoshinaka 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 122 KB

An Elementary Proof of Euler's Theorem f

An Elementary Proof of Euler's Theorem for Polytopes

✍ Maxwell, G. 📂 Article 📅 1984 🏛 Oxford University Press 🌐 English ⚖ 38 KB