Mathematics and the like
(without any particular order)- Category Theory and it's applications to functional programming (Monads, Arrows, Functors,...).
- Complexity Theory
- Lambda Calculus and
- the Curry-Howard Isomorphism: the proofs are programs paradigm
- Foundations of Mathematics