3 ms·Yes, it's almost as much a mathematical notation for lambda calculus as it is a programming language.by dinom 4y agoYes, it's almost as much a mathematical notation for lambda calculus as it is a programming language.