Lambda Calculus with Types Formalization of the book "Lambda Calculus with Types" by Henk Barendregt, Wil Dekkers and Richard Statman. Chapters The Simply Typed Lambda Calculus License BSD-3-Clause