VDict - Definition of Logic for Computable Functions

search result for Logic for Computable Functions in Computing (FOLDOC) dictionary

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

CORAL genetic programming Calc IDEAL Programmable Interrupt Controller religion of CHI Church integer De Bruijn notation race condition version japh twm fix abstraction Stephen Kleene A/UX VULCAN memory leak Oaklisp function Janus exception San Francisco definitional constraint programming MCP-1600 Liskov substitution principle module Advanced Micro Devices, Inc.head-strict JK flip-flop m4 symbolic inference High Performance Routing ICI for loop Concurrent Euclid Q Amulet data service unit tail recursion modulo cons idempotent call-by-name scan path ALLOY syntactic sugar Internet Server Application Programming Interface backtracking Quantum-dot Cellular Automata control orthogonal Infinite Monkey Theorem time bomb Transport Layer Interface database Application Executive transparent Alan Turing electronic commerce LOOPN screen scraper out-of-band bomb neats vs. scruffies free variable database server magic cookie polymorphic lambda-calculus Advanced RISC Machine Open Graphics Library pager linear type ALPS re-entrant Scheme infobot category partial evaluation LUCID Expanded Memory Specification Milarepa

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