<span class="searchmatch">type</span> <span class="searchmatch">theory</span> (usually uncountable, plural <span class="searchmatch">type</span> <span class="searchmatch">theories</span>) (mathematics, computer science) A branch of mathematical logic and theoretical computer science...
<span class="searchmatch">type</span> <span class="searchmatch">theories</span> plural of <span class="searchmatch">type</span> <span class="searchmatch">theory</span>...
Intuitionistic <span class="searchmatch">type</span> <span class="searchmatch">theory</span> is based on a certain analogy or isomorphism between propositions and <span class="searchmatch">types</span>: a proposition is identified with the <span class="searchmatch">type</span> of its proofs...
Wikipedia has an article on: gauge <span class="searchmatch">theory</span> Wikipedia gauge <span class="searchmatch">theory</span> (plural gauge <span class="searchmatch">theories</span>) (physics) A <span class="searchmatch">type</span> of field <span class="searchmatch">theory</span> in which the Lagrangian is invariant...
A <span class="searchmatch">type</span> approval <span class="searchmatch">type</span> area <span class="searchmatch">type</span> B <span class="searchmatch">type</span> bar <span class="searchmatch">type</span> beat <span class="searchmatch">type</span>-check <span class="searchmatch">type</span> checker <span class="searchmatch">type</span> checking <span class="searchmatch">type</span> class <span class="searchmatch">type</span> coercion <span class="searchmatch">type</span> collection <span class="searchmatch">type</span> color <span class="searchmatch">type</span> colour...
equilibration <span class="searchmatch">theory</span> of relativity <span class="searchmatch">theory</span> of truth <span class="searchmatch">theory</span> of value <span class="searchmatch">Theory</span> X <span class="searchmatch">Theory</span> Y thing <span class="searchmatch">theory</span> toy <span class="searchmatch">theory</span> transcendental number <span class="searchmatch">theory</span> <span class="searchmatch">type</span> <span class="searchmatch">theory</span> unexpected...
won’t let you run it. Hindley-Milner <span class="searchmatch">type</span> system nominative <span class="searchmatch">type</span> system unified <span class="searchmatch">type</span> system <span class="searchmatch">type</span> system of a programming language typechecker <span class="searchmatch">type</span> <span class="searchmatch">theory</span>...
bottom <span class="searchmatch">type</span> (plural bottom <span class="searchmatch">types</span>) (<span class="searchmatch">type</span> <span class="searchmatch">theory</span>, programming) The <span class="searchmatch">type</span> that is a subtype of all other <span class="searchmatch">types</span>. 2017, Toby Weston, Scala for Java Developers:...
typechecking (uncountable) (computing) The process of verifying whether a given value belongs to a certain data type. typechecker <span class="searchmatch">type</span> system <span class="searchmatch">type</span> <span class="searchmatch">theory</span>...
ABO blood group system on Wikipedia <span class="searchmatch">Type</span> A and <span class="searchmatch">Type</span> B personality <span class="searchmatch">theory</span> on Wikipedia <span class="searchmatch">type</span> A (plural <span class="searchmatch">type</span> As) (A person having) a competitive, highly...