Report copyright - Logical FormalismsMPRI 6 3 What is lambda-calculus ? • An intentional theory of functions. • A simple functional programming language. • A theory of free- and bound-variables,
Please pass captcha verification before submit form
Please pass captcha verification before submit form