The Penn Lambda Calculator Free Download

The Penn Lambda CalculatorOverview

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.

NEW

Fixed some bugs.

The Penn Lambda CalculatorInformation

Version

1.0.12

Date

05.12.10

License

Free

Language

English

File Size

416KB

Developer

Lucas Champollion

Category

Home & Education

SubCategory

Operating Systems

Windows XP, 2000, 98

System Requirements

No additional system requirements.

Mathematics SoftwareTop Downloads

CEDAR Logic Simulator

An interactive digital logic simulator to be used for teaching of logic design or testing simple digital designs.

Free

Symbolic Math Toolbox

Perform mathematics using symbolic computation and variable-precision arithmetic

Trial

MathType is a powerful interactive equation editor for Windows and Macintosh.

Trial

It use for visualizing, managing, creating, and analyzing geographic data.

Trial

Make statistics calculations on your PC.

Trial

AVD Volume Calculator

It is just the thing for measuring physical parameters of composite objects

Trial

Gross Profit Margin Calculator

The Gross Profit Margin Calculator is a Windows application for calculating.

Free

Pythia-The Neural Network Designer

Pythia is a program for the development and design of Neural Networks.

Free