3 ms·

What aspect of lambda calculus is not declarative?