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

Hungarian Notation coalesced sum axiomatic semantics s///UBASIC CLU von Neumann ordinal Carl Friedrich Gauss domain schematic type variable data type Boolean Persistent Functional Language linear type serial port Document Type Definition infinity pattern matching nslookup codomain Interchange File Format scanf Seiko RC-4000 Finite State Machine Complementary Metal Oxide Semiconductor Amber cellular automaton C++closure Abstract-Type and Scheme-Definition Language Alex White Book xyzzy Cedar scalar fuzzy logic Advanced Communication Function/Network Control Program Ada 95 m2 whois class ZF expression ontology PNP wedged \perp axiom cybernetics monadic automata theory computable CTC autoprojector canonicity predomain CA FSM filename extension computron sticky analysis consistently complete block transfer computations GRG directed set minimal automaton Universal algebra alias Axiom of Choice closed term \sqsubseteq LAMBDA beta conversion pointer pi-calculus Abstract Machine Notation monotonic boundedly complete COLD-K bottom F+L

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