# Foundations

- [Fractal](/learning/formal-science/mathematics/pure_mathematics/foundations/fractal.md)
- [Graph theory](/learning/formal-science/mathematics/pure_mathematics/foundations/graph_theory.md)
- [Lambda calculus](/learning/formal-science/mathematics/pure_mathematics/foundations/lambda_calculus.md)
- [Type theory](/learning/formal-science/mathematics/pure_mathematics/foundations/type_theory.md)