Lambda Calculator SE 2.1.0 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible.
Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros. La herramienta forma parte del grupo de aplicaciones sobre Educación y Ciencia. El auténtico artífice de este programa sin coste es Lucas Champollion, Josh Tauberer, Maribel Romero, and Dylan Bumford.
Del desarrollador:
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.
Quizás esté interesado en probar otros programas, como Delay Time Calculator o Physics 101 SE, que podrían ser similares a Lambda Calculator SE.