✦ LIBER ✦

Propositions as games as types

✍ Scribed by Aarne Ranta

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Structured Propositions as Types

✍ Hanks, P. W. 📂 Article 📅 2011 🏛 Oxford University Press 🌐 English ⚖ 224 KB

On propositions-as-types in realizabilit

✍ Lars Birkedal 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 27 KB

Propositions as semantic pretense

✍ James A. Woodbridge 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 144 KB

Propositional Logic as a Propositional F

✍ Benjamín René Callejas Bedregal; Anderson Paiva Cruz 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 175 KB

Governance as theory: five propositions

✍ Gerry Stoker 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 103 KB

Canonical interpretation of propositions

✍ Alexander Zimper 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 190 KB