pure lambda-calculus

Lambda-calculus with no constants, only functions expressed as lambda abstractions.

Last updated: 1994-10-27

Try this search on Wikipedia, OneLook, Google

Nearby terms: Purdue Compiler-Construction Tool Set « Purdue University « pure functional language « pure lambda-calculus » PureLink » Pure Lisp » purely functional language


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.