✦ LIBER ✦

J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic

✍ Scribed by Pouliasis, Konstantinos; Primiero, Giuseppe

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Type

✍ Bezem, Marc; Groote, Jan Friso 📂 Article 📅 1993 🏛 Springer Berlin Heidelberg ⚖ 694 KB

A binary modal logic for the intersectio

✍ Silvio Valentini; Matteo Viale 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 196 KB