✦ LIBER ✦

On propositions-as-types in realizability models

✍ Scribed by Lars Birkedal

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On specifications, subset types and inte

✍ Anne Salvesen 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 952 KB

On the validity of propositional logic a

✍ Charles J. Brainerd 📂 Article 📅 1976 🏛 Springer 🌐 English ⚖ 617 KB

Abstraction and Ontology: Questions as P

✍ Ginzburg, J. 📂 Article 📅 2005 🏛 Oxford University Press 🌐 English ⚖ 143 KB

Identification of errors-in-variables mo

✍ I. Bencsik; Gy. Michaletzky 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 349 KB

Realizing chiral fermions in the type II

✍ Nishimura, Jun; Tsuchiya, Asato 📂 Article 📅 2013 🏛 Springer-Verlag 🌐 English ⚖ 257 KB

Realizing three generations of the Stand

✍ Hajime Aoki,Jun Nishimura,Asato Tsuchiya 📂 Article 📅 2014 🏛 Springer-Verlag 🌐 English ⚖ 996 KB