Main › Science › Math › Logic and Foundations › Church

Church

Edit Page
Report
Scan day: 09 February 2014 UTC
13
Virus safety - good
Description: Program understands the different types of lambda expressions, can extract lists of variables (both free and bound) and subterms, and can simplify complicated expressions. Uses Python.
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.
Size: 287 chars

Contact Information

Phone&Fax: —
Address: —
Extended: —

WEBSITE Info

Page title:church
Keywords:
Description:
IP-address:216.218.218.4

WHOIS Info

NS
Name Server: NS.AREA.COM
Name Server: ZONE.AREA.COM
WHOIS
Status: clientTransferProhibited
Date
Creation Date: 07-jul-1995
Expiration Date: 06-jul-2016