Advertisement
Visual Lambda
Visual environment for manipulation the lambda calculus expressions...
manipulate calculus lambda manipulate calculus expression lambda calculus manipulation
Lambda Calculator
Enter a lambda expression and reduce it to normal form...
expression calculator expression reduce lambda reduce expression
The Penn Lambda Calculator
A free software to typed lambda calculus...
calculate math calculator practice lambda practice lambda calculus
PyChurch
A free and open-source Python module specially designed to help you experiment with the lambda calculus......
extract extract variable lambda calculus calculus calculus library