✦ LIBER ✦

Type-theoretic logic with an operational account of intensionality

✍ Scribed by Fox, Chris; Lappin, Shalom

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Operational Logic of Proofs with Posi

✍ Duccio Luchi; Franco Montagna 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 673 KB

On the theoretical study of an RF-SQUID

✍ Boris Chesca 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 1014 KB

An operator-theoretic approach to theore

✍ Marvin Rosenblum; James Rovnyak 📂 Article 📅 1980 🏛 SP Birkhäuser Verlag Basel 🌐 English ⚖ 923 KB

An operator-theoretic approach to theore

✍ Marvin Rosenblum; James Rovnyak 📂 Article 📅 1982 🏛 SP Birkhäuser Verlag Basel 🌐 English ⚖ 575 KB

Le Fort's Operation for Prolapse, with a

✍ James Wyatt 📂 Article 📅 1912 🏛 John Wiley and Sons 🌐 English ⚖ 255 KB

An operator-theoretic approach to theore

✍ Vlastimil Pták 📂 Article 📅 1988 🏛 Springer 🌐 English ⚖ 315 KB