|
|
lambda-calculus
<mathematics> (Normally written with a Greek letter lambda).
A branch of mathematical logic developed by Alonzo Church in
the late 1930s and early 1940s, dealing with the application
of functions to their arguments. The pure lambda-calculus
contains no constants - neither numbers nor mathematical
functions such as plus - and is untyped. It consists only of
lambda abstractions (functions), variables and applications
of one function to another. All entities must therefore be
represented as functions. For example, the natural number N
can be represented as the function which applies its first
argument to its second N times (Church integer N).
Church invented lambda-calculus in order to set up a
foundational project restricting mathematics to quantities
with "effective procedures". Unfortunately, the resulting
system admits Russell's paradox in a particularly nasty way;
Church couldn't see any way to get rid of it, and gave the
project up.
Most functional programming languages are equivalent to
lambda-calculus extended with constants and types. Lisp
uses a variant of lambda notation for defining functions but
only its purely functional subset is really equivalent to
lambda-calculus.
See reduction.
(1995-04-13)
Try this search on OneLook / Google
Nearby terms:
Lambada-Calculus « LAMBDA « lambda abstraction « lambda-calculus » lambda expression » lambda lifting » LambdaMOO
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
iPOD Compatible Belt Clip HolsteriPOD Compatible Belt Clip Holster ** iPOD compatible Belt Clip Holster **With its form fitted, custom-molded design, the iPod belt clip allows you to clip your iPod to your belt, purse, or backpack with its durable steel spring clip. Easy access to the Clickwheel and Display no matter where you take it.General Features:- White- Form Fitted- Durable plastic- Spring-loaded clipPackage Includes:- iPOD compatible belt clip holster Compatibility/Requirements/Disclosures:** Requirements *** Full size iPOD* A place to clip it More ...
Snap! National Parks GuideSnap! National Parks Guide Featuring interactive tours through 20 of America's most scenic nature areas, this CD-ROM provides evocative photos, directions, and points-of-interest to bring these National Parks to your computer monitor. Windows 95/98/ME/2000/XP More ...
LG 48x IDE CD-ROM Drive (Gray)LG 48x IDE CD-ROM Drive (Gray) ** LG 48x CD-ROM Drive **Upgrade your PC with a better CD-ROM drive! This LG CD-ROM drive features a gray face, 48x read speeds and an IDE interface for easy installation.General Features:- Gray bezel- 48x maximum read speed- 128 KB buffer- 75 ms average access time- Motorized tray- Horizontal and vertical mount- Plug and Play- E-IDE/ATAPI interface- Supports 8 cm and 12 cm discsFront Panel Features:- Headphone jack- Volume control dial- LED activity indicator- Eject/Load button- Emergency eject holeRear Panel Features:- Digital audio connector- Analog audio connector- Device jumpers- IDE interface- 4-pin power connectorSupported Disc Formats:- CD-DA- CD-ROM- CD-ROM/XA- Photo CD- CD Plus- CD Extra- Mixed CD- CD-RWRegulatory Approvals:- FCC- CE- UL- TUV- Nemko- Gost-R- CSA- C-TickNotes:- Drive only- New pulls- LG model#: CRD-8482B Compatibility/Requirements/Disclosures:** Requirements *** Microsoft Windows 95/98/NT/2000/ME/XP* IBM PC AT or compatible 486 SX 25 processor or higher* 16 MB RAM* IDE controller* IDE cable* Available 5.25-inch drive bay* Available 4-pin power connector More ...
3D Home Landscape Designer 53D Home Landscape Designer 5 Create Your Dream Landscape and Garden! Get inspiration from professionally designed sample landscape plans. View 2,000 images of trees, shrubs, plants, and flowers for every landscape and garden style. Preview your design as it will look through the seasons. Plus, add landscape furnishings and structures, and more! Windows 98/ME/2000/XP More ...
Intel PIII Xeon 1GHz 133MHz 2.8v 256KB CPUIntel PIII Xeon 1GHz 133MHz 2.8v 256KB CPU ** Intel PIII Xeon 1GHz 133MHz 2.8v 256KB CPU **XEON POWER! This Intel Pentium III processor is designed for mid-range and higher server and workstations. General Features:- 1GHz (1000MHz)- 133 MHz system bus - 256KB full speed L2 cache - Supports Multi-processing - Slot 2 CPU - Streaming SIMD Extensions - Extended Server Memory Architecture - S step: SL4HECompatibility/Requirements/Disclosures:** Requirements *** Motherboard that suports Xeon 1GHz CPU's* Heatsink & Fan ** Disclosures *** Country of Origin may be China, Taiwan, Korea, USA, Malaysia More ...
Intel PIII 866MHz 133MHz 256KB Slot 1 CPUIntel PIII 866MHz 133MHz 256KB Slot 1 CPU - Standard Intel Pentium III Processor- 866MHz- SECC 2 Package- Slot 1- 133MHz Bus Speed- 256KB L2 Cache - 1.65v- S-Spec: SL4BV, SL4BT- CPU Only Compatibility/Requirements/Disclosures:* Slot 1 Motherboard that Supports a PIII 866MHz CPU* Country of Origin may be China, Taiwan, Korea, USA, Malaysia, Costa Rica More ...
|
