|
|
alpha conversion
<theory> In lambda-calculus and reduction, the renaming of
a formal parameter in a lambda abstraction. This does not
change the meaning of the abstraction. For example:
\ x . x+1 <--> \ y . y+1
If the actual argument to a lambda abstraction contains
instances of the abstraction's formal parameter then it is
necessary to rename the parameter before applying the
abstraction to avoid name capture.
(1995-05-10)
Try this search on OneLook / Google
Nearby terms:
Alpha « Alpha AXP 21164 « alpha/beta pruning « alpha conversion » Alpha EV6 » Alpha Geek » alphanumeric
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
A-Power 500-Watt ATX Dual Fan Power SupplyA-Power 500-Watt ATX Dual Fan Power Supply ** A-Power 500-Watt ATX Dual Fan Power Supply **With 500-watts of power, this A-Power dual fan ATX power supply offers low noise for quiet operation, over-voltageprotection, and supports Intel Pentium 4 and AMD motherboards! Also includes six 4-pin power connectors, twosmall power connectors, and a SATA (Serial ATA) connector!!General Features:- 500 watts total- Dual fan design- ATX, ATX12V, and Auxiliary ATX connectors- Six (6) large 4-pin power connectors- Two (2) small power connectors- One (1) SATA (Serial ATA) connector- Supports Intel P4 and AMD motherboards- ATX ver 2.03 & Ver 1.1 compliant- Low noise and ripple- Short-circuit protection- Over-voltage protection- Thermal Overload cut-off protectionPower Specifications:- 115V, 230V switchable power supply- +3.3V, 28A- +5V, 38A- +12V, 17A- -12V, 0.8A- -5V, 0.5A- +5Vsb, 2.ARegulatory Approvals:- CE - CB- FCC- Nemko- Demko- Semko- FimkoUnit Dimensions:3.25 x 6 x 6-inches (H x W x D, approximate)Retail Package Includes:- A-Power 500-Watt ATX Power Supply- Power Cord Compatibility/Requirements/Disclosures:** Requirements ** * ATX case* ATX motherboard* Available power outlet More ...
Kid's SpanishKid's Spanish Anyone can learn a language, but the younger you are the easier it is! This program is designed to give kids of all ages their first taste of the Spanish language. Screen graphics let you pick out key words or phrases, listen to the Spanish pronunciation, then practice it yourself. Windows 95/98/ME/2000/XP More ...
NEW Celeron 2.4GHz 256MB 80GB 7200RPM 52XNEW Celeron 2.4GHz 256MB 80GB 7200RPM 52X ** NEW Celeron 2.4GHz 256MB 80GB 7200RPM 52X **This FAST system features an Intel Celeron 2.4GHz processor, an 80GB 7200RPM hard drive, 256MB RAM, and sports a 52X CD-ROM drive.General Features:- Intel Celeron 2.4GHz Processor- 256MB SDRAM Memory- 80GB 7200RPM IDE Hard Drive- 52X CD-ROM Drive- Integrated video up to 64MB shared memory- AC97 Integrated Audio- 56K V.90 Data/Fax Modem- Integrated 10/100 Ethernet- Standard Size ATX Power SupplyMotherboard Features:- Three (3) PCI slots- One (1) CNR Slot (occupied by modem)I/O Ports:- Two (2) PS/2 Ports, one for mouse, one for keyboard- One (1) Standard DB-15 VGA Connector- One (1) Standard 25-pin Parallel Port Connector- Two (2) Standard 9-pin Serial Port Connectors- Six (6) Standard USB 2.0 Ports (Two on front, four on rear)- One (1) Standard RJ-45 10/100 Ethernet Port- Line-in, Phone-out RJ-11 Jacks on PCI Modem- Line-in, Mic-in, Line-out 3.5mm mini-jacksPackage Includes:-Amptron Celeron 2.4GHz System- PS/2 Keyboard and Scroll Mouse- Driver Disc- Panda AntiVirus Software- FaxTalk Communicator Software- Adobe Reader- RJ-11 Phone Cable for Modem- Amplified Stereo Speakers - Amptron Motherboard manual- U.S. Style Power CordCompatibility/Requirements/Disclosures:** Requirements *** Operating system (WinXP,2000,98,etc.)* VGA monitor* Power outlet More ...
Dell Latitude LS Series Laptop AC AdapterDell Latitude LS Series Laptop AC Adapter ** Dell Latitude LS Series Laptop AC Adapter **For Dell Latitude LS, LST and L400 SeriesIncludes: Adapter and power cord More ...
100MB Internal Zip HP Omnibook 2100/3000/3100100MB Internal Zip HP Omnibook 2100/3000/3100 ** 100MB Internal Zip HP Omnibook 2100/3000/3100 **Need more space or an easy way to get files in and out of your HP Omnibook 2100, 3000 or 3100 notebook computer? Look no further. 100MB of removable storage at an unbeatable price. With Zip disks you can take your data almost anywhere. This product is packaged as an HP Service part, in brown box packaging with no paperwork or manuals. They are not used and carry a 90 day ISell warranty. More ...
3Com USR 56K PCI V90 Hardware Modem3Com USR 56K PCI V90 Hardware Modem ** 3Com USR 56K PCI V90 Hardware Modem **General Features:- 3COM / USR Internal PCI Modem for Pentium Class PCs and up- Requires PnP BIOS- This is a hardware modem and requires Windows 95/98, Windows NT, 2000 or XP- There is a beta Linux Red Hat driver available from 3COMNotes:- Modem ONLY More ...
|
