✦ LIBER ✦

Mechanizing metatheory in a logical framework

✍ Scribed by HARPER, ROBERT; LICATA, DANIEL R.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Companion to Philosophical Logic || Me

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 82 KB 👁 3 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.

A Linear Logical Framework

✍ Iliano Cervesato; Frank Pfenning 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 382 KB

Hybridizing a Logical Framework

✍ Jason Reed 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 309 KB

A Companion to Philosophical Logic || Me

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 91 KB 👁 3 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.

A Logical Framework for Convention

✍ Giacomo Sillari 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 127 KB

A List-Machine Benchmark for Mechanized

✍ Andrew W. Appel, Robert Dockins, Xavier Leroy 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 470 KB