✦ LIBER ✦

PAL+: a lambda-free logical framework

✍ Scribed by LUO, ZHAOHUI

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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 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

Mechanizing metatheory in a logical fram

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

A logical framework for knowledge base m

✍ Wei Li 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 667 KB