✦ LIBER ✦

A Linear Logical Framework

✍ Scribed by Iliano Cervesato; Frank Pfenning

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hybridizing a Logical Framework

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

A linear programming framework for logic

✍ K.A. Andersen; J.N. Hooker 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 975 KB

A Logical Framework for Convention

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

A logical framework for default reasonin

✍ David Poole 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 943 KB

PAL+: a lambda-free logical framework

✍ LUO, ZHAOHUI 📂 Article 📅 2003 🏛 Cambridge University Press 🌐 English ⚖ 696 KB

Mechanizing metatheory in a logical fram

✍ HARPER, ROBERT; LICATA, DANIEL R. 📂 Article 📅 2007 🏛 Cambridge University Press 🌐 English ⚖ 753 KB