Lambda-calculus and type theory form a foundational framework in computer science and mathematical logic, offering a formal approach to modelling computation and reasoning about programs. At its core, ...

Lambda Calculus is a tiny functional language for expressing computation based on function abstraction and application. This project is intended to be an educational resource for learning and ...

The project allows to interpret lambda-expressions by implementing the beta reduction, call by name and call by value strategies. The file types.ml defines the syntax of lambda expressions. The file ...