"type theory" - related articles and key terms

Related terms: set   type   haskell   static   math   data type   object   ordered pair   defined   theory   set theory   polymorphism   product   function   definition   mathematics   computer science   programming language

Wikipedia sources: Tuple   Type system   Ordered pair   Type polymorphism


Context for words: type   theory