haskell(common knowledge) -> category theory(compare it with set theory here you will read about math foundation crisis) -> type theory(curry howard correspondence or logic == program)
personal perspective
personal perspective
* Foundations of proofwriting and mathematical thinking: Velleman
* Going further into logic: Hindley and Seldin, Lambda-Calculus and Combinators
* Apply what you learned just learned: Sussman and Abelson, SICP
* Getting serious: Awodey, Category theory
* You're there: Haskell