The Penn Lambda Calculator Icon
For students and teachers of natural language semantics.
Free