Symbolistics

User Tools

Site Tools

Trace: • reading
sym:lougue:reading

Reading

  1. How to Solve It
  2. Mathematics for Computer Science
  3. Discrete Mathematics and Its Applications (8th Edition)
  4. Princeton Lifesaver Study Guides (3 books)
  5. Linear Algebra Done Right
  6. From Mathematics to Generic Programming
  7. SICP: Structure and Interpretation of Computer Programs
  8. Realm of Racket
  9. Learn You a Haskell for Great Good
  10. Isomorphism -- Mathematics in Programming
  11. Category Theory for Programmers
  12. Conceptual Mathematics: A First Introduction to Categories
  13. The Joy of Abstraction: An Exploration of Math, Category Theory, and Life
  14. Basic Category Theory for Computer Scientists
  15. Category Theory
  16. A Modern Perspective on Type Theory - From its Origins until Today
  17. PLFA: Programming Language Foundations in Agda
  18. Type Theory and Formal Proof: An Introduction
  19. Derivation and Computation - Taking the Curry-Howard Correspondence Seriously
  20. …
sym/lougue/reading.txt · Last modified: 2024/05/19 01:38 by killianz
Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki