Penn Lambda Calculator download

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

Build Securely on AWS with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download Now

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

Similar Business Software

myACI

ACI Learning delivers hands-on IT and cybersecurity training built for modern teams. Expert-led videos, interactive labs, and certification prep for today’s top credentials turn knowledge into real-world skill. Whether you’re training a team or advancing your career, myACI makes it easy to...

See Software
DreamClass

Create your own DreamClass! DreamClass is a school management solution designed to cater to educational organizations of all types and sizes—be it a school, an academy, or a studio—enabling you to optimize your processes with robust features like: Program Management—Structure your...

See Software
Gradelink SIS

Help your school save time, increase enrollment, and achieve its mission with Gradelink. An award-winning student information system and school management system, Gradelink school management software system is suitable for Preschool through High school. Gradelink is a great fit for higher...

See Software
Pikmykid

Pikmykid is the leading safety and dismissal platform that empowers schools to simplify dismissal, engage parents, and keep students safe without the need to purchase, install, or support additional hardware. Designed by former educators and parents, Pikmykid has helped more than 2,000 schools...

See Software
Xero

Save 90% for 4 months on Xero's award-winning accounting and online bookkeeping platform for businesses of all sizes and stages of growth. Beautifully simple, Xero covers a wide range of features that help businesses manage their finances effortlessly, including invoicing, inventory, bank...

See Software
CBT Nuggets

Learning IT doesn’t have to mean boring lectures, the frantic pace of bootcamps, or lots of time away from your job or family. With CBT Nuggets, you can train anytime, anywhere, at your own pace — all from the comfort of your office chair or living room couch. Our training team is made up of...

See Software