Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

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

intuitionistic type theory · Vinony

🌐English

English Italiano Polski Português Русский 한국어 中文日本語

EntityQ6059147· pop 9· linked from 211 articles

intuitionistic type theory

alternative foundation of mathematics

Connections

first-order logic

three-state logic

Categories

Constructivism (philosophy of mathematics)Dependently typed programming Foundations of mathematics Intuitionism Logic in computer science Type theory

Sources

wikipedia.externallinksexternallink

dependent type

Entity

homotopy type theory

impredicativity

intension and extension

Bertrand Russell

International Standard Book Number

programming language

rational number

mathematical proof

Sign in to save

Similar entities

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

prospect theory

Entitydist 0.64

Great man theory

Entitydist 0.66

alternatives to general relativity

Entitydist 0.66

Category:Portfolio theories

Entitydist 0.66

classical modal logic

Entitydist 0.67

Category:Microeconomic theories

Entitydist 0.67

Category:Women educational theorists

Entitydist 0.68

Ainu Revolution Theory

Entitydist 0.69

history of creationism

Entitydist 0.69

mathematics of general relativity

Entitydist 0.70

architectural theory

Entitydist 0.71

Entitydist 0.72

What links here211 pages

natural deduction

Per Martin-Löf

homotopy type theory

impredicativity

typed lambda calculus

substructural logic

three-valued logic

composite data type

constructive proof

higher category theory

Heyting arithmetic