Yes, it's almost as much a mathematical notation for lambda calculus as it is a programming language.