The Penn Lambda Calculator


Version: 1.0.12
Size:
416KB
Requirements:
Java Runtime Environment 1.4 or higher
Price:
Free
System:
Windows XP/2000/98
Rating:
4.6
License:
Freeware

Description - The Penn Lambda Calculator



The Penn Lambda Calculator is an interactive, graphical, pedagogical computer program that helps students of natural language formal semantics practice the typed lambda Calculus. Version 1.0.12: Fixed alphabetical variants of { x | ... } notation.Fixed loading saved exercise files that use the new expression types.



More in Math-The Penn Lambda Calculator

Lambda Calculator Penn Lambda Calculator