VDict - Definition of type theory

search result for type theory in Computing (FOLDOC) dictionary

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

enumeration Basic Encoding Rules Single Edge Contact ATM GAP POPLER chromatic number C with Classes CNAME Adobe Type Manager black art least upper bound open/closed principle AAP DTD relational algebra eta conversion .NET framework evaluator Richard Hamming gopher transitive closure tagged types metaheuristic My Favourite Toy Language Hamiltonian problem user acceptance testing type-ahead search Don't do that then!Oberon multicast addressing EIA-449 bottom-unique broadcast Duplex High Speed Data typographical error half-duplex int ten-finger interface combinator twisted pair Concrete Data Structure Ada-O Actors quantum bogodynamics Discordianism Second-Order Lambda-calculus OWHY Head Normal Form occam 2 ECSP type class laser D CGI program total function functional database Forsythe Cornell University catatonic Alcool-90 Gypsy greatest lower bound computability theory Mail Exchange Record Standard ML entropy Finite Impulse Response knowledge-based system Extended Pascal Sue integration testing Stephen Kleene cross-assembler Liana structured language tree perfect programmer syndrome Self Extracting Archive HPCode-Plus Domain Analysis

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