Lambda Calculus And its graphic representation. Brief Explanation of LC What: A series of expressions, constants, and variables written in prefix.