Category:Type theory

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
teoria dei tipi; 類型論; théorie des types; Θεωρία τύπων; теория типов; 类型论; Typentheorie; Lý thuyết hình thái; teorio de tipoj; نظریه نوع‌ها; 类型论; type theory; теорија на типовите; 型理論; 類型論; teoría de tipos; Typentheorie; Teoria typów; Теорія типів; Tiplər nəzəriyyəsi; 類型論; תורת הטיפוסים; typeteori; 유형론 (수학); Типтер теориясы; نظرية النمط; Teorie typů; teoria dos tipos; formale Systeme als Alternativen zur axiomatischen Mengenlehre; 수학자 버트런드 러셀이 제안한 유형 개념에서 파생한 이론; concept in mathematical logic and computer science; teorie; théorie mathématique; Teoria de tipos; タイプ理論; 階型理論; tip-teorio; tipa teorio; tipteorio; tipoteorio; Typtheorie; 형 이론; theory of types; تئوری نوع ها; نظریه انواع; تئوری انواع; نظریه نوع ها; نظریهٔ نوع ها; 型別理論; 类型理论; 逻辑类型; نمط
type theory 
concept in mathematical logic and computer science
Upload media
Instance of
Subclass of
Facet of
Has use
  • proof assistant
  • strong typing
Authority control
Wikidata Q1056428
BabelNet ID: 03130588n
Edit infobox data on Wikidata

Subcategories

This category has the following 3 subcategories, out of 3 total.

A

H

T

Media in category "Type theory"

This category contains only the following file.