VDict - Definition of normal order reduction

search result for normal order reduction in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 7 Next > Last

epsilon squared abstract machine prime time RJ-45 Double Data Rate Random Access Memory Programmable Read-Only Memory Remote Access Services hand-roll Astra Digital Radio generic programming TELOS visible bell Eurocard interrupt request closure webcasting cooked mode ad-hockery 56 kbps Nondeterministic Turing Machine evaluator Blind Carbon Copy unshielded twisted pair tri state gamma correction continuation passing style CHOCS lower set cyclic redundancy check skolemisation in-order traversal larval stage dinosaur pen IDEAL Intel 80386 connective SCSI-2 holy wars Erasable Programmable Read-Only Memory redundancy garbageabetical order go root T Universal algebra hobbit logic high bit Eh TrafoLa RealAudio functional Order Code Processor Hamming distance Second-Order Lambda-calculus Coalition for Networked Information Woodenman embedded system noddy F-Logic Fresh dual Scott domain scan path post-order traversal OCP escape sequence APL2 supercompilation dogpile Compact Disc Recordable Forsythe leading leapfrog attack dry run boundedly complete fat electrons Bernstein condition Programmer's Switch teraflop club Annual Change Traffic

First < Previous 1 2 3 4 5 6 7 Next > Last