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

AGM Theory for Belief Revision distributive lattice Zuse disjoint union proof theory PROSE deterministic automaton effective computable Ontic complete partial ordering compactness preserving hue, saturation, brightness reduction strategy Gottlob Frege low-bandwidth complete syntax tree backward analysis Algebra of Communicating Processes Pari combination tiger team semantics join Cornell Theory Center linear logic NIAL reflexive nondeterministic automaton Uniform Resource Locator B-Method CHARITY Godzillagram decision problem data hierarchy Omega-algebraic Universal Serial Bus ASDL environment variable OATH plonk set complement IFX wavetable Terminate and Stay Resident Jossle EIA-232 B-Toolkit burn-in period proof RTTI cast coercion alpha conversion complete metric space Cinderella Book steganography Lightweight Directory Access Protocol Small Computer System Interface operational semantics Logical Unit linear argument Institut National de Recherche en Informatique et Automatique Mu static analysis getty Bird-Meertens Formalism rdb Busy Beaver infinite automaton toy language 610 Yellow Book CD-ROM Miranda FX-90 DTD ADT form factor Church of the SubGenius

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