math
an archive of books with this tag
| May 19, 2026 | Types and Programming Languages |
|---|---|
| May 19, 2026 | Type Theory and Formal Proof |
| May 19, 2026 | Topoi: The Categorial Analysis of Logic |
| May 19, 2026 | The Dao of Functional Programming |
| May 19, 2026 | Modern Mathematical Logic |
| May 19, 2026 | Lectures on the Philosophy of Mathematics |
| May 19, 2026 | Computational Complexity: A Modern Approach |
| May 19, 2026 | Category Theory in Context |
| May 19, 2026 | Categories for Quantum Theory |