Lambda calculus predecessor function reduction steps Understanding Lambda Calculus Predecessor Function Reduction Steps Lambda calculus is a formal system in mathematical logic for expressing computation based on 3 min read 08-10-2024 4