English

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

EntityQ6059147· pop 9· linked from 211 articles

intuitionistic type theory

Sign in to save

Also known as Martin-Löf type theory

alternative foundation of mathematics

Wikidata facts

Subclass of: type theory
Named after: Per Martin-Löf

Show 1 more fact

uses: intuitionistic logic

via Wikidata · CC0

Available in 9 languages

via Wikidata sitelinks · CC0