How about some Category Theory? That's used in the theory behind type systems, if memory serves me. On the other hand, it's a field that even mathematicians ref

How about some Category Theory? That's used in the theory behind type systems, if memory serves me. On the other hand, it's a field that even mathematicians refer to as "general abstract nonsense"...