type theory

Noun

Meaning

type theory (usually uncountable, plural type theories)

(mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.
Coordinate term: set theory

Source: en.wiktionary.org

Synonyms

deontic logic

Examples

Although the axiom schema of replacement is a standard axiom in set theory today, it is often omitted from systems of type theory and foundation systems in topos theory. Source: Internet

As a result, research into this class of formal systems began to address both logical and computational aspects; this area of research came to be known as modern type theory. Source: Internet

A stratified formula is one that type theory would allow, were the ontology to include types. Source: Internet

Active * Homotopy type theory is being researched. Source: Internet

Axiom of infinity Ramified types and the axiom of reducibility In simple type theory objects are elements of various disjoint "types". Source: Internet

Dependent type theory in full generality is very powerful: it is able to express almost any conceivable property of programs directly in the types of the program. Source: Internet

Close letter words and terms

type specimen type storage type system type tray type up type variety