 | The Penn Lambda CalculatorA free software to typed lambda calculus |
| Download | |
The Penn Lambda Calculator Ranking & Summary
Advertisement
- License:
- Freeware
- Price:
- FREE
- Publisher Name:
- The Penn Lambda Calculator Team
- Publisher web site:
- http://www.ling.upenn.edu/lambda/
- Operating Systems:
- Mac OS X
- File Size:
- 364 KB
The Penn Lambda Calculator Tags
The Penn Lambda Calculator Description
A free software to typed lambda calculus The Penn Lambda Calculator is an free and easy to use, interactive, graphical, pedagogical computer program that helps students of natural language formal semantics practice the typed lambda calculus.The goal of the Penn Lambda Calculator project is to provide teachers and students with a software that assists them in mastering the centerpiece of introductory courses to formal semantics: the lambda calculus. The most important feature of this software is its sophisticated routines that detect common errors and return "smart" feedback to the student user.
The Penn Lambda Calculator Related Software