Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

type theory · Vinony

EntityQ1056428· pop 26· linked from 967 articles

type theory

Sign in to save

study of type systems in mathematical logic and computer science

Connections

logical disjunction

semantics of logic

proof assistant

semantic theory of truth

mathematical logic

Boolean algebra

propositional calculus

logical negation

logical conjunction

first-order logic

Categories

Hierarchy Systems of formal logic Type theory

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Hindley–Milner

Entitydist 0.25

Entitydist 0.36

Entitydist 0.36

abstract data type

Entitydist 0.40

algebraic data type

Entitydist 0.41

type constructor

Entitydist 0.43

Entitydist 0.45

Entitydist 0.45

Entitydist 0.46

inference typing

Entitydist 0.47

Entitydist 0.50

Entitydist 0.51

What links here967 pages

Epsilon-induction

metamathematics

homotopy type theory

Principia Mathe

philosophy of mathematics

axiomatic system

elementary equivalence

Arthur Schopenhauer

lambda calculus

logical positivism

Cantor's paradox

Martin Heidegger