Edit this page Backlinks This is an old revision of the document! Lab 8 - The Lambda Calculus 1. Consider the following datatype which encodes λ-expressions.