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

Russell's Paradox type assignment discriminated union functor type typed lambda-calculus algebraic data type theory Isabelle lifted domain union constructed type set theory generic type variable Zermelo Frankel set theory monad subtype type inference belief revision complete theory constructor principal type Run-Time Type Information polymorphism Array Theory implicit type conversion lattice recursive type Liskov substitution principle Zermelo set theory domain theory axiomatic set theory type scheme CUCH polymorphic lambda-calculus denotational semantics Xy-pic CAYLEY ASL+abstract data type ZFC type-ahead Eiffel recursion theory D-type injection pre-order decision theory embedding theory change bounded instantiation derived type algebraic inclusive ideal aggregate type pointed domain Ponder Axiom of Comprehension weak typing projection equational logic bondage-and-discipline language Quest Unix conspiracy abstract interpretation explicit type conversion file type semiconductor enumerated type tuple Z sound 431A satisfiability problem sum quantum computer sum of products type strong typing

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