The Lambda Calculator is an interactive, graphical, pedagogical computer program that helps students of formal semantics practice the typed lambda calculus.
- Joint work with Dylan Bumford, Josh Tauberer, and Maribel Romero.
- More information can be found on the application’s website or in the companion paper (PDF).
