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