Python lambda calculus module 1.0
Sponsored Links
Python lambda calculus module 1.0 Ranking & Summary
File size:
0.014 MB
Platform:
Any Platform
License:
GPL (GNU General Public License)
Price:
Downloads:
1103
Date added:
2006-10-27
Publisher:
Erik Max Francis
Python lambda calculus module 1.0 description
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.
Enhancements:
- Initial release.
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.
Enhancements:
- Initial release.
Python lambda calculus module 1.0 Screenshot
Advertisements
Python lambda calculus module 1.0 Keywords
Lambda Calculus
module project
Module 1.0
lambda
module
calculus
python
simple
project
Python lambda calculus module
Python lambda calculus module 1.0
Education
Miscellaneous
Bookmark Python lambda calculus module 1.0
Python lambda calculus module 1.0 Copyright
WareSeeker periodically updates pricing and software information of Python lambda calculus module 1.0 full version from the publisher, so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft, Using crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of Python lambda calculus module 1.0 Edition. Download links are directly from our publisher sites, torrent files or links from rapidshare.com, yousendit.com or megaupload.com are not allowed
Featured Software
Want to place your software product here?
Please contact us for consideration.
Contact WareSeeker.com
Sponsored Links
Related Information
knights of the lambda calculus
lambda calculus tutorial
what is lambda calculus
lambda calculus reduction
lambda calculus vs predicate calculus
typed lambda calculus
lambda calculus interpreter
lambda calculus examples
lambda calculus introduction
introduction to lambda calculus
lambda calculus substitution
pure lambda calculus
lambda calculus scheme
lambda calculus boolean
lambda calculus application
lambda calculus python
lambda calculus tree
lunar module
Related Software
Python chess module project is a Python chess move adjudicator module. Free Download
Simple Python Fixed-Point Module is a Python module which provides basic facilities for manipulating (binary) fixed-point number Free Download
pythondr project is a simple python library for parsing the TV-channel info at http://dr.dk. Free Download
Python XHTML is a simple Python module for the generation of valid XHTML. Free Download
Lambda project is a Lambda calculus interpreter. Free Download
Tracksail project is a simple sailing game. Free Download
python-youtube is a simple YouTube API Client for Python. Free Download
GtkBalls is a simple logic game. Free Download
Latest Software
Popular Software
Favourite Software
