|
|
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.
6-Foot USB 2.0 A to B Cable (Clear/Silver)6-Foot USB 2.0 A to B Cable (Clear/Silver) ** 6-Foot USB A to B Cable **These hard to find (especially at this price) USB 2.0 A to Bcables provide you with a 6-foot reach in a cool, clear casewith silver braiding!General Features:- USB 2.0 A to B cable- 6-foot length- Clear case with silver braiding- Backward compatibleNotes:- Cable only Compatibility/Requirements/Disclosures:** Requirements *** Available USB 2.0 port (A or B port) More ...http://www.softwaredealz.com/surplus/453359726.htmlSunday, 12 June 2005 19:09:11 -0600
McAfee Internet Security Suite 7.0 OEMMcAfee Internet Security Suite 7.0 OEM ** McAfee Internet Security Suite 7.0 OEM **IMPROVED! McAfee VirusScan- Automatically protects your PC, email, attachments, downloads and network from viruses, mass-mailing worms and backdoor Trojans whenever you go online. Fast anti-virus updates ensure your protection stays current. Now with more efficient email scanning of larger files. IMPROVED! McAfee Personal Firewall Plus- Helps block hackers, identity thieves and malicious code from robbing personal data, hijacking your system (often to send spam) or planting malicious code that can compromise your privacy over dial-up, DSL or cable connections. Now with enhanced intrusion detection and fast set-up assistant. IMPROVED! McAfee SpamKiller- Automatically recognizes and helps stop junk email-including credit card phishing scams, virus hoaxes and foreign language spam-from polluting your inbox. Regular anti-spam filter updates ensure the latest protection against spammers. Now with enhanced spam detection technology, Personal Filter Editor and Whitelisting. IMPROVED! McAfee Privacy Service- Helps shield individual family members from offensive content (e.g., websites, newsgroups), online stalkers and inappropriate chat, thanks to age-specific Parental Controls and easy-to-use filtering options. Identity Protection- Helps secure personal identification and financial information (e.g., name, phone, credit card, bank account numbers) from accidental transmission over the Internet without your permission. IMPROVED! Spyware/Adware Detection and Removal- Helps catch and delete potentially unwanted programs (PUPs) hiding on your PC that can steal log-ins and passwords (key-loggers), hijack your dial-up connection (Web dialers) or track your online surfing (adware). Pop-Up Blocking- Helps eliminate annoying Web advertising that not only slows your surfing but also tracks your browsing habits for advertisers. McAfee Shredder- Securely erases confidential files, folders and email for increased privacy and protection from desktop thieves.Notes:- Picture is for represenatational purposes only- OEM CD ONLY More ...
UMAX 14-Inch TFT VGA Monitor w/Speakers (Black)UMAX 14-Inch TFT VGA Monitor w/Speakers (Black) ** 14-Inch TFT LCD Monitor **This UMAX 14-Inch TFT LCD Monitor offers excellent viewing quality! It features built-in speakers and 1024 x 768 maximum resolutions. Other features include 250:1 contrast ratio, 150 cd/m2 brightness, and 15 ms (Tr)/25 ms (Tf) response time. This black color monitor offers a compact design that saves space at your home or office desk!General Features:- Black case- 14-inch TFT LCD display- 1024 x 768 maximum resolution- 250:1 contrast ratio - 15 ms (Tr)/25 ms (Tf) response time- 150 cd/m2 brightness- Horizontal frequency: 31 –60 KHz- Vertical frequency: 60 Hz –75 Hz- Wall mount- Built-in speakers- Audio in jack- On-Screen Display (OSD) controls- Built-in 15-pin VGA connectorPower Specifications:- Input rating: 12 V DC, 3.5 A Regulatory Approvals:- FCC- CE- CCC- TUV-GSFactory Plain Box Includes:- 14-Inch TFT LCD Monitor- Manual- AC adapter (100-240 V, 50/60 Hz, 1.2 A max)- Power cord- Audio cableNotes:- LCD displays may have cosmetic imperfections that appear as small bright or dark spots. This is common to all LCD displays used in products by all vendors and is not specific to any one vendor or brand. Below are the acceptable amounts of dot defects for LCD displays that we sell: - 14-inch: - Total Defects: 6 - Bright or Dark Dots (random): 3 - Bright or Dark Dots (2 adjacent): 1 - Bright or Dark Dots (3 adjacent): 0 - Minimum distance between defects: 15mm (bright to bright dots); 5mm (dark to dark dots) Compatibility/Requirements/Disclosures:** Requirements *** VGA adapter * Audio source with 3.5 mm stereo mini-jack output * Available power outlet ** Disclosures *** LCD displays may have cosmetic imperfections that appear as small bright or dark spots. This is common to all LCD displays used in products by all vendors and is not specific to any one vendor or brand. Below are the acceptable amounts of dot defects for LCD displays that we sell:* 15-inch: * Total Defects: 6* Bright or Dark Dots (random): 3* Bright or Dark Dots (2 adjacent): 1* Bright or Dark Dots (3 adjacent): 0* Minimum distance between defects: 15mm (bright to bright dots); 5mm (dark to dark dots) More ...
Intel PIII 600MHz 100MHz 512KB Slot 1 CPUIntel PIII 600MHz 100MHz 512KB Slot 1 CPU - Standard Intel Pentium III Processor- 600 MHz- SECC2 Package - 100MHz Bus Speed- 512KB L2 Cache - S-Spec: SL3JM,SL3JT- CPU Only Compatibility/Requirements/Disclosures:* Motherboard that supports a PIII 600MHz CPU* SECC2 Heatsink & Fan More ...
PSP Kit - Car Charger/Multi-Disc Case/Game FacePSP Kit - Car Charger/Multi-Disc Case/Game Face ** PSP Deluxe Kit - Car Charger /Multi-Disc Case /Game Face/Analog Stick **This Deluxe starter kit is an absolute necessity for your Sony PSP! This Deluxe kit includes a Super Fast Car Charger which fully charges your PSP in less than 2 hours, a PSP Multi-Disc case which can store up to 4 UMD, a PSP EVA Carrying Case which protects your PSP from bumps, drops and scratches, a PSP Game Face which can fully protect the front side of your PSP, and a PSP analog stick which is an ideal replacement for the original analog stick providing better grip and control! Get yours today! General Features:- For Sony PSP Car Charger Features: - Charges PSP in less than 2 Hours - Input: DC12V - Provides power as you travel PSP Multi-Disc Case Features: - Stores up to 4 UMD in one compact case - Resists Damage - Protects your Games PSP EVA Carrying Case: - Stylishly designed with EVA material - Protects your PSP form bumps, drops, and scratches - Zippered PSP Game Face: - Fully protects the front side of your PSP - Protects your PSP screen from dust and scratches PSP Analog Stick: - Great replacement for the original PSP analog stick - Provides better grip andcontrol - Huge advantage for all gamers Regulatory Approvals: - CE Retail Blister Pack Includes: - Car Charger - PSP Multi-Disc Case - PSP EVA Carrying Case - PSP Game Face - PSP Analog Stick Notes: - UPC Code: 1 83195 30002 2 Compatibility/Requirements/Disclosures: ** Requirements *** Sony PSP More ...
|
