✦ LIBER ✦

CERES in higher-order logic

✍ Scribed by Stefan Hetzl; Alexander Leitsch; Daniel Weller

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Higher-order quantum logics

✍ David Finkelstein 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 607 KB

Hauptsatz for Higher Order Logic

✍ Dag Prawitz 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 683 KB

Expressibility of Higher Order Logics

✍ Lauri Hella; José M. Turull-Torres 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 754 KB

Proving pointer programs in higher-order

✍ Farhad Mehta; Tobias Nipkow 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 327 KB

Higher-Order Separation Logic in Isabell

✍ Carsten Varming; Lars Birkedal 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 404 KB

Topological Completeness for Higher-Orde

✍ S. Awodey and C. Butz 📂 Article 📅 2000 🏛 Association for Symbolic Logic 🌐 English ⚖ 307 KB