✦ LIBER ✦

Structured Propositions as Types

✍ Scribed by Hanks, P. W.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Propositions as games as types

✍ Aarne Ranta 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 977 KB

Structured Propositions

✍ King, Jeffrey 📂 Fiction 📅 0 🌐 English ⚖ 236 KB

On propositions-as-types in realizabilit

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

Compositionality and Structured Proposit

✍ Keller, Lorraine Juliano; Keller, John A. 📂 Article 📅 2013 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 489 KB

Why the tuple theory of structured propo

✍ Bjørn Jespersen 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 527 KB

Sur Les Types Des Propositions Composées

✍ G. Pólya 📂 Article 📅 1940 🏛 Association for Symbolic Logic 🌐 English ⚖ 532 KB