Lambda calculus

Home > Philosophy > Logic > Recursion Theory > Lambda calculus

This is a formal system designed to study the behavior of functions in a purely mathematical way, similar to that of symbolic logic.