Complexity
ianmcloughlin.github.io
linkedin
github
Computability
Lambda Calculus
Post Correspondence Problem
Primitive Recursive Functions
Simon's Problem