✦ LIBER ✦

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 7794 || On Monadic Parametricity of Second-Order Functionals

✍ Scribed by Pfenning, Frank

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Foun

✍ Pfenning, Frank 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 275 KB

[Lecture Notes in Computer Science] Foun

✍ Pfenning, Frank 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 247 KB

[Lecture Notes in Computer Science] Foun

✍ Pfenning, Frank 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 354 KB

[Lecture Notes in Computer Science] Foun

✍ Hofmann, Martin 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 250 KB

[Lecture Notes in Computer Science] Foun

✍ Pfenning, Frank 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 284 KB

[Lecture Notes in Computer Science] Foun

✍ Honsell, Furio; Miculan, Marino 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 167 KB