lambda_calculus_formal_definitions.pdf lambda_calculus_encoding_booleans.pdf lambda_calculus_natural_numbers.pdf