VDict - Definition of higher-order logic

search result for higher-order logic in Computing (FOLDOC) dictionary

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

Parlog++magneto-optical disk PAL machine cycle XSB logic gate instantiation Goffin Neutrosophy data flow analysis neutrosophic set Hollerithabetical order scan design Baudotbetical order fully lazy lambda lifting abduction Clean polymorphic lambda-calculus backing store unification compiler horizontal encoding central processing unit constructive pre-order Interest Group in Pure and Applied Logics vertical encoding stacking order reduction strategy Triton Basic Input/Output System parallel reduction lambda-calculus Zuse Trilogy Laboratory INstrument Computer normal order reduction scan register handwave isomorphism mode client-server occurs check Persistent Functional Language O-Logic accumulator HENSA Ecole Normale Superieure EQLOG OBJ0 MALI Simulating Digital Systems PLTL CPLD applicative order reduction complexity analysis Ironman ET drag and drop mill ALF Sure LOTIS PRECCX ALU reduction MegaHertz Programmable Logic Controller Probe Very Large Scale Integration LDL HCPRVR Logic for Computable Functions Gofer Prolog axiom PLC intuitionism GTL LTL

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