✦ LIBER ✦

Discrete Lawvere theories and computational effects

✍ Scribed by Martin Hyland; John Power

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Lawvere theories, finitary monads and Ca

✍ Garner, Richard 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 739 KB

Algebraic Theories, Algebraic Categories

✍ Review by: Anne Preller 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 338 KB

Constructivist and structuralist foundat

✍ Erik Palmgren 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 286 KB

Computational Number Theory and Modern C

✍ Yan, Song Y. 📂 Article 📅 2017 🏛 John Wiley & Sons, Ltd ⚖ 231 KB

Category Theoretic Understandings of Uni

✍ Behrisch, Mike; Kerkhoff, Sebastian; Power, John 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 258 KB

Computational Number Theory and Modern C

✍ Yan, Song Y. 📂 Article 📅 2017 🏛 John Wiley & Sons, Ltd ⚖ 243 KB