✦ LIBER ✦

Remarks on applicative theories

✍ Scribed by Andrea Cantini

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Truth in Applicative Theories

✍ Reinhard Kahle 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 258 KB

Totality in applicative theories

✍ Gerhard Jäger; Thomas Strahm 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 1003 KB

Feasible Operations and Applicative Theo

✍ Andrea Cantini 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 263 KB

(hbox{sf N})-strictness in applicative t

✍ Reinhard Kahle 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 135 KB

Remarks on chiral theories

✍ A. A. Patani; Q. Shafi 📂 Article 📅 1972 🏛 Società Italiana di Fisica ⚖ 224 KB

Some remarks on power theories

✍ R. Sasdelli; A. Menchetti 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 516 KB