closeHello! Click here if you would like to know what Factolex is about.

theory of types

3 more terms with the same name exist. Show the other terms
Start collecting facts
These are the best facts for theory of types, collected by our users from the web:
(You can find the source through the icon at the end of each fact)
  1. In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general

    Source: Wikipedia Unhappy with this fact? more info
    created by user picturefactobot on December 2, 2008
  2. In programming language theory, a branch of computer science, type theory can refer to the design, analysis and study of type systems, although some computer scientists limit the term's meaning to the study of abstract formalisms such as typed λ-cal

    Source: Wikipedia Unhappy with this fact? more info
    created by user picturefactobot on December 2, 2008
  3. an act of typing: that is, assigning a type

    Source: Wikipedia Unhappy with this fact? more info
    created by user picturefactobot on December 2, 2008
  4. Bertrand Russell invented the first type theory in response to his discovery that Gottlob Frege's version of naive set theory was afflicted with Russell's paradox

    Source: Wikipedia Unhappy with this fact? more info
    created by user picturefactobot on December 2, 2008
  5. This type theory features prominently in Whitehead and Russell's Principia Mathematica

    Source: Wikipedia Unhappy with this fact? more info
    created by user picturefactobot on December 2, 2008
Displaying the top 5 of 15 facts in total. Show all 15 factsShow 3 more or all 15 facts
Do you know more? Submit a new fact

Add a new fact

A fact should only contain one sentence, describing an aspect of the term.

Fact
Example: located on the west coast of the U.S
Source
Tags
optional

Example: geography location -- separate tags with spaces

Add one more fact or give me some inspiration from:

More lexica »Featured Lexica

Look at what our users have created already.

Feedback

Please tell us what you think about our project

Contribute

On Factolex you can add facts and terms that you believe are missing.

To be sure that the term hasn't already been entered, please use the search function before doing so.

Home  |  About  |  FAQ  |  Feedback  |  Tools  |  Stats  |  Contact Us  |  API  |  Blog
Change language to: