Lambda Calculator SE 2.1.0 puede descargarse desde nuestra biblioteca de programas gratuitamente. Nuestro propio antivirus ha comprobado esta descarga y ha determinado que está libre de virus. 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 Physics 101 SE, que podrían ser similares a Lambda Calculator SE.