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

UTF-8 Application Service Element XSB XPL encryption quantifier tagged queueing Cyrix 6x86 boot disk context switch spod Han character constant applicative form Motorola 68010 algebraic data type cut a tape hill climbing Bezier curve Nyquist Theorem glitch Business Software Alliance bum walking drives priority scheduling fully lazy lambda lifting CGI program Domain Name System String Oriented Symbolic Language pattern matching vanilla polymorphic lambda-calculus ML Lorenz attractor union compiler array powerdomain Pentium Pro sort hook applet indent style phacker Basic Input/Output System SNAFU principle Zuse vaxocentrism Subset-Equational Language Wild_LIFE occam crunch phase demon bootstrap loader random Ode Material Requirements Planning portability Baudot code progressive coding speech recognition Radio Frequency Interference random-access memory grammar IBM PC mirror resolution rl Lightweight Directory Access Protocol Real Programmer Persistent Functional Language abstract interpretation vadding cybernetics Constructive Cost Model Common Gateway Interface MUMPS PRECCX heap binary file

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