✦ LIBER ✦

A proof-theoretic foundation of abortive continuations

✍ Scribed by Zena M. Ariola; Hugo Herbelin; Amr Sabry

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A type-theoretic foundation of delimited

✍ Zena M. Ariola; Hugo Herbelin; Amr Sabry 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 908 KB

On the Proof-theoretic Foundation of Gen

✍ Lars Hallnäs 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 234 KB

A proof-theoretic analysis of collection

✍ Lev D. Beklemishev 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 216 KB

A Proof-theoretic View of Necessity

✍ Reinhard Kahle 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 239 KB

A proof-theoretic characterization of ob

✍ Colin Stirling 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 932 KB

A measure-theoretic proof of Turing inco

✍ Chris J. Conidis 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 294 KB