Lambda the Ultimate

inactiveTopic Lambda Calculus in Python
started 2/6/2002; 1:58:56 PM - last post 2/6/2002; 1:58:56 PM
Ehud Lamm - Lambda Calculus in Python  blueArrow
2/6/2002; 1:58:56 PM (reads: 1347, responses: 0)
Lambda Calculus in Python
(via Daily Python-URL)

This module allows simple experimentation with the lambda calculus, first developed by Church. It understands the different types of lambda expressions, can extract lists of variables (both free and bound) and subterms, and can simplify complicated by expression by means of application.

(if you need an intro to the lambda calculus, simply check previous messages in LtU's LC department)

Posted to LC by Ehud Lamm on 2/6/02; 2:02:33 PM