VDict - Definition of Second-Order Lambda-calculus

search result for Second-Order Lambda-calculus in Computing (FOLDOC) dictionary

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

FALSE LOP closure conversion backing store CIRCAL pre-order stacking order reduction strategy Vlisp SLIM lenient evaluation parallel reduction QA4 CCS first-order pi-calculus PRL epsilon propositional calculus predicate calculus Gofer normal order reduction CIRcuit CALculus PROSE canonical symbolic logic equational logic isomorphism TABLOG Qu-Prolog Prolog/Mali Modular Prolog mode propositional logic Green's Theorem client-server bound variable maximal free expression OBJ principal type applicative order reduction full laziness Ironman BABEL relational algebra lazy evaluation Group-Sweeping Scheduling parallelism LUCID 100BaseVG bounce Quest brute force delta talk LNF gamma correction lower set cyclic redundancy check skolemisation in-order traversal curried function dinosaur pen Miranda connective redundancy garbageabetical order go root hobbit Universal algebra logic high bit Eh TrafoLa functional Order Code Processor Hamming distance Coalition for Networked Information Woodenman temporal logic

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