For instance, it's a great manifestation of lambda calculus.