Lambda Calculator SE
Download Lambda Calculator SE 2.1.0 for Mac from our software library for free. The software lies within Education Tools, more precisely Teaching Tools. Our antivirus analysis shows that this Mac download is clean. The file size of the latest downloadable installation package is 63.5 MB. The actual developer of this free Mac application is Lucas Champollion, Josh Tauberer, Maribel Romero, and Dylan Bumford.
From the developer:
The Lambda Calculator is an interactive, graphical application to help students of natural language semantics practice derivations in the typed lambda calculus. It is designed for both students and teachers, with modules for online classroom instruction, graded homework assignments, and self-guided practice.
You may want to check out more Mac applications, such as Physics 101 SE, PDF2Office SE for iWork 2 or Strata Design 3D SE 7, which might be similar to Lambda Calculator SE.