✦ LIBER ✦

A binary modal logic for the intersection types of lambda-calculus

✍ Scribed by Silvio Valentini; Matteo Viale

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Situation Calculus: A Case for Modal

✍ Gerhard Lakemeyer 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 256 KB

Strong normalization of a symmetric lamb

✍ Yoriyuki Yamagata 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 99 KB

[Lecture Notes in Computer Science] Type

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

A Finite Equational Axiomatization of th

✍ Antonino Salibra; Robert Goldblatt 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 371 KB

A Syntactic Characterization of the Equa

✍ Hyland, M. 📂 Article 📅 1976 🏛 Oxford University Press 🌐 English ⚖ 225 KB

A Formalised Proof of the Soundness and

✍ Catarina Coquand 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 422 KB