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

Lambda Prolog mode client-server specialisation Tcode combination EDL extensional equality OBJ Codd's reduction algorithm David Turner ParAlfl Ironman Interactive Data Language BABEL bell curve WHNF Codd's First Normal Form fourth normal form alpha conversion strength reduction relational calculus G-Code Manchester encoding second normal form fifth normal form first normal form third normal form Isabelle Natural English DNF RNF drugged DACTL relational algebra inverse comment convention cache full laziness beta abstraction Gaussian distribution hacking run injection gilley operational testing pull media attenuation PC Pursuit normal distribution lithium lick Group-Sweeping Scheduling accelerator parallelism Disjunctive Normal Form BNF bit-paired keyboard IVY perfect programmer syndrome Backus Normal Form LUCID tag 100BaseVG Easter egging Backus-Naur Form hacked up AUTOEXEC.BAT bounce Dvorak disusered whalesong disk drive named pipe Vietnamese Quest Digital Simultaneous Voice and Data disk hotlink creationism deep space pragma brute force

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