The Penn Lambda Calculator is an interactive, graphics-based pedagogical software that helps students of linguistics and computer science practice the typed lambda calculus.

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Penn Lambda Calculator

Penn Lambda Calculator Web Site

Other Useful Business Software
Application Monitoring That Won't Slow Your App Down Icon
Application Monitoring That Won't Slow Your App Down

AppSignal's Rust-based agent is lightweight and stable. Already running in thousands of production apps.

Full APM with errors, performance, logs, and uptime monitoring. 99.999% uptime SLA on the platform itself.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Penn Lambda Calculator!

Additional Project Details

Intended Audience

Science/Research

User Interface

Java Swing

Programming Language

Java

Related Categories

Java Mathematics Software, Java Computer Aided Instruction (CAI) Software, Java Calculators

Registered

2007-01-14