Python lambda calculus module 1.0

Python lambda calculus module project is a simple but full-featured module for exploring lambda calculus.
Python lambda calculus module project is a simple but full-featured module for exploring lambda calculus.

It understands the different types of lambda expressions, can extract lists of variables (both free and bound) and subterms, and can simplify complicated expressions by means of application.

Notations for lambda expressions vary slightly, so it is instructive to detail the precise notation used by this module. A variable is expressed with a string of alphanumeric characters, e.g., x or abc1.

What's New in This Release:

Initial release.

last updated on:
October 27th, 2006, 12:05 GMT
price:
FREE!
developed by:
Erik Max Francis
homepage:
www.alcyone.com
license type:
GPL (GNU General Public License) 
category:
ROOT \ Education

FREE!

In a hurry? Add it to your Download Basket!

user rating

UNRATED
0.0/5
 

0/5

Rate it!

Add your review!

SUBMIT