Mathematical logic
Fractals
L-system
Constructible universe
Logic
Rewriting
Formal languages
Theoretical computer science
Mathematics