Comment by Avtomatk

And where is Category Theory and Lambda Calculus?