View Proposal

---

Proposer

Thomas Basuki

Title

Lambda Calculus Calculator

Goal

Building a Lambda Calculus Calculator that accepts an expression in lambda calculus and can check its correctness, perform substitution, reductions and even transform it to some variants of lambda calculus

Description

Lambda Calculus has been known as one of the formalisms that is effectively computable. The simple yet powerful syntax of classical untyped lambda calculus has been mainly used to explain the computation in functional language paradigm in the course F29FA. One of the challenges that some students faced in the past is the difficulty to visualise the computation. They can only tried on paper without knowing whether their work was correct or incorrect. They also need to learn how to evaluate an expression step by step. In this project we propose to develop a lambda calculus calculator, which accepts an expression in lambda calculus and can check its correctness, perform substitution, reductions and even transform it to some variants of lambda calculus. The software will be a useful tool for teaching F29FA.

Resources

Background

Url

Difficulty Level

Easy

Ethical Approval

InterfaceOnly

Number Of Students

1

Supervisor

Thomas Basuki

Keywords

lambda calculus, parsing, java

Degrees

Bachelor of Science in Computing Science