VDict - Definition of higher-order logic

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

First < Previous 4 5 6 7 8 9 10 Next > Last

backtracking high bit Eh Fibre Channel-Arbitrated Loop Quantum-dot Cellular Automata one-banana problem peer orthogonal Order Code Processor Infinite Monkey Theorem Hamming distance SCSI-3 You know you've been hacking too long when...Second-Order Lambda-calculus Coalition for Networked Information stale pointer bug Woodenman time bomb Scott domain OCP post-order traversal database APL2 supercompilation dogpile leading leapfrog attack dry run boundedly complete Bernstein condition Programmer's Switch teraflop club Annual Change Traffic screen scraper Call Unix bomb DV cartridge lobotomy up OBJ3 neats vs. scruffies free variable Rate monotonic scheduling pre\box Inverse Address Resolution Protocol vertical application head normalisation theorem Advanced RISC Machine pre-order traversal filter promotion MPEG-21 hard disk ordering jack in linear type TALE followup ALPS defect analysis SOL embedding binary package Steelman *LISP front side bus topic thread 120 reset Nightmare File System statistics ARM7 referential transparency AppleTalk Filing Protocol Gauss greek Milarepa algebraic repeating group reliable communication Pentium hierarchical database

First < Previous 4 5 6 7 8 9 10 Next > Last