Table of Contents
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.
Getting the software
The software is available in a tarball here: http://www.alcyone.com/pyos/church/church-latest.tar.gz.
The official URL for this Web site is http://www.alcyone.com/pyos/church/.
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,
The module is intended to be used as a module imported by Python programs; when run as a standalone program it runs some algorithms on some test expressions and prints the results. Doing this is helpful for becoming familiar with the notation used by the module.
This module was written by Erik Max Francis.
Version 1.0a $Date: 2002/07/29 $ $Author: max $
Table of ContentsThis document was automatically generated on Tue Jul 30 20:58:34 2002 by HappyDoc version 2.0.1