An Interactive Lambda Calculus Execution Engine

Bhashithe Abeysinghe, Rajshekhar Sunderraman

Abstract: 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.