Lambda Calculator SE

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

Download now from developer's website

License: Open source

Total downloads:17

Latest version:2.1

Report incorrect info

Screenshots

Description

The 2.1.0 version of Lambda Calculator SE for Mac was available to download on the developer's website when we last checked. We cannot confirm if there is a free download of this app available.

Please check the Mac app with an antivirus before launch as it is downloaded from the developer's website, and we cannot ensure that it is safe. The program is included in Education Tools. The actual developer of this free software for Mac 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.

Download Lambda Calculator SE from developer's website

useful

How to protect your Mac from malware

useful

How to share files

useful

How to type with 10 fingers