Lambda Calculator SE

by Lucas Champollion, Josh Tauberer, Maribel Romero, and Dylan Bumford

Ooops

download link is gone

License: Open source

Total downloads:23

Latest version:2.1

Report incorrect info

Screenshots

Description

Downloading Lambda Calculator SE 2.1.0 for Mac from our website was free. The software lies within Education Tools, more precisely Teaching Tools. Our antivirus analysis shows that this Mac download is clean. 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 SpokeLengthCalculator, PDF2Office SE for iWork 2 or Strata Design 3D SE 7, which might be similar to Lambda Calculator SE.

useful

How to protect your Mac from malware

useful

How to share files

useful

How to type with 10 fingers