|
|
name capture
<reduction> In beta reduction, when a term containing a
free occurrence of a variable v is substituted into another
term where v is bound the free v becomes spuriously bound or
"captured". E.g.
(\ x . \ y . x y) y --> \ y . y y (WRONG)
This problem arises because two distinct variables have the
same name. The most common solution is to rename the bound
variable using alpha conversion:
(\ x . \ y' . x y') y --> \ y' . y y'
Another solution is to use de Bruijn notation.
Note that the argument expression, y, contained a free
variable. The whole expression above must therefore be
notionally contained within the body of some lambda
abstraction which binds y. If we never reduce inside the
body of a lambda abstraction (as in reduction to weak head
normal form) then name capture cannot occur.
(1995-03-14)
Try this search on OneLook / Google
Nearby terms:
naive « naive user « NAK « name capture » named » named pipe » name resolution
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Motorola BR700 4-Port Ethernet Broadband RouterMotorola BR700 4-Port Ethernet Broadband Router ** Motorola BR700 Ethernet Broadband Router **Craving blazing network speeds? This Motorola BR700 is a 4-port 10/100Base-T Ethernet router/switch that supports data rates up to 100 Mbps. If you're ready to network everyone in your home or small office, this Motorola BR700 is sure to satisfy even the most demanding speed demon!General Features:- 4-port 10/100Base-T Ethernet switch/router- Supports data rates up to 100 Mbps- Built-in switch enables gaming and multimedia transfers- Demilitarized Zone (DMZ) hosting enhances gaming play- Configures as a Dynamic Host Configuration Protocol (DHCP) Server to automatically assign Internet Protocol (IP) addresses- Dynamic Domain Name System (DDNS)- Static and dynamic routing (RIPv1 and RIPv2)- Network Address Translation (NAT) technology, Firewall, Virtual Server and Port Triggering- Connect remotely through a Virtual Private Network (VPN) with Internet Protocol Security (IPSec) and Point-to-Point Tunneling Protocol (PPTP)- IP and MAC Address FilteringRegulatory Approvals:- FCC- CERetail Package Includes:- Motorola BR700 Ethernet Broadband Router- AC Adapter (120VAC 60Hz)- Installation Wizard CD- Stand- Getting Started GuideNotes:- Model: BR700- UPC Code: 6 12572 09534 8 Compatibility/Requirements/Disclosures: ** Requirements *** Windows 98/98SE/Me/2000/XP* Broadband Internet Access (cable, DSL, or other)with RJ-45 port* CD-ROM drive* Ethernet cable More ...
Intel PIII Xeon 667 MHz 133MHz 256KB CPUIntel PIII Xeon 667 MHz 133MHz 256KB CPU ** Intel PIII Xeon 667 MHz 133MHz 256KB CPU **General Features: - 633 MHz operation- 133 MHz system bus - 256KB full speed L2 cache - Supports multi-processing - Slot 2 CPU - Streaming SIMD extensions - Attached passive heat sink - Extended server memory architectureCompatibility/Requirements/Disclosures:** Requirements *** Motherboard that suports Xeon 667MHz CPU's* Heatsink & Fan ** Disclosures *** Country of Origin may be China, Taiwan, Korea, USA, Malaysia More ...
KWorld Xpert DVD Maker PCI Video Capture CardKWorld Xpert DVD Maker PCI Video Capture Card ** KWorld V-Stream Xpert DVD Maker **Convert any video tape movies and send the image easily to your PC for editing and saving in VCD, SVCD, and DVD format with the Xpert DVD Maker! The Xpert DVD maker features a high-quality 10-bit NTSC/PAL/SECAM composite and S-video decoder, video resolutions up to 720 x 480 @ 30fps, and aPCI interface. With the CyberLink PowerProducer 2 Gold software, you can easily capture and burn any videos from any video source such as DVD Player / VCD / VHS /Camcorder and burn to to DVD without using any extra hard drive space! Get yours today!General Features:- Conexant CX23883-19 chipset- PCI interface- 10-bit NTSC/PAL/SECAM composite and S-video decoder- 720 x 480 @ 30 fps video resolution (NTSC)- 720 x 576 @ 25 fps video resolution (PAL)- Capture video source from VHS, HI8, etc.- Supports Mpeg4, Mpeg2, and Mpeg1 format- Capture BMP and JPEG still image format- Burn video to DVD/VCD/SVCD- Automatic NTSC/PAL detection- S-Video external connectorRetail Package Includes:- Xpert DVD Maker- User manual- Installation CD w/Power Producer 2 Gold & PVR Plus- Video and audio converter cableNote:- Model: VS-L883D Compatibility/Requirements/Disclosures:** Requirements *** Pentium 700 MMX processor or higher* Windows 98SE/ME/2000/XP* 128 MB RAM* 16 MB VGA card w/800 x 600 16-bit resolution* Sound card* CD-ROM drive* Available PCI slot Informational Links:http://www.kworld.com.twhttp://www.kworld.com.tw/pindex.asp?id=19&pid=24 More ...
Label Publisher with WizardsLabel Publisher with Wizards Design labels for mailing, shipping, videocassettes, diskettes and more! Choose from 160 label types. Type the information you want into the database, or import information from another database, and print! Windows 98/ME/2000/XP 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 ...
3.5-Inch USB 2.0 External IDE Drive Case3.5-Inch USB 2.0 External IDE Drive Case ** 3.5-Inch USB 2.0 External IDE Drive Enclosure **This USB 2.0 external hard drive case makes it simple to transport data at USB 2.0 speeds!Simply put a 3.5-inch IDE hard drive in the case enclosure for a portable storage solution and take your data with you!General Features:- Silver and Black color scheme- Supports 3.5-Inch IDE drives- USB 2.0 compatible- Up to 480 Mbps data transfer rate- Hot-Swappable Plug and Play- Supports up to 240 GB maximum hard drive capacity- Easy-to-Open designSupported Operating Sytems:- Microsoft Windows 98SE/ME/2000/XP- Mac OS 8.6 or higherRegulatory Approvals:- FCC- CERetail Box Includes:- 3.5 USB 2.0 External IDE Enclosure- USB Cable (A to B)- Power Adapter (100-240VAC 50/60Hz)- Power Cord- Software CDNotes:- Model: A-8818-35 Compatibility/Requirements/Disclosures:** Requiremnents *** Microsoft Windows 98SE/2000/Me/XP* 3.5-inch IDE drive* Available USB 2.0 port* Available Power Outlet* Mac OS 8.6 or higher More ...
|
