Softpedia >Mac >  Applications filed under: lambda calculus  (3 items)

Apps filed under: lambda calculus

  RSS Feed for this tag 3 applications totalLast updated: May 11th 2012, 10:44 GMT

     
  • 152 downloads
  • 34.7 MB
Anagopos

Anagopos 2.0.1

Visualize reduction graphs of terms in lambda calculus and term rewriting

May 11th 2012, 10:44 GMT
Mac OS X
     
  • 163 downloads
  • 1 KB
Lambda Animator

Lambda Animator 1.0

Allows you to experiment with reducti0on strategies in the lambda calculus

Jan 13th 2012, 00:34 GMT
Mac OS X
     
  • 404 downloads
  • 14 KB
PyChurch

PyChurch 1.0 Alpha

A free and open-source Python module specially designed to help you experiment with the lambda cal...

Mar 11th 2009, 01:46 GMT
Mac OS X (PPC & Intel)