Search Results for "lambda calculus"
Sort By:
Proof Logic : A logical framework for theorem proving
A small web application for learning lambda-calculus
Symbolic Lambda Calculus
A framework for dealing with lambda calculus expressions.
Lambda Calculus Interpreter for Android
Programming language for artificial intelligence