An Interactive Lambda Calculus Execution Engine

In this poster, we present an interactive Web application that allows the student to input lambda expressions and interactively evaluate these expressions, one beta-reduction at a time. This tool will provide a platform for students to better understand how functional programs execute.