Type theory - CaLiGraph

Property	Value
rdf:type	Mathematical logic topic owl:NamedIndividual Academic discipline System of formal logic System of set theory
rdfs:label	Type theory
owl:sameAs	dbr:Type_theory
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Systems_of_formal_logic http://en.wikipedia.org/wiki/Tee_(symbol) http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(R%E2%80%93Z) http://en.wikipedia.org/wiki/List_of_academic_fields http://en.wikipedia.org/wiki/Outline_of_logic http://en.wikipedia.org/wiki/Outline_of_philosophy http://en.wikipedia.org/wiki/Ordinal_analysis http://en.wikipedia.org/wiki/List_of_mathematical_logic_topics http://en.wikipedia.org/wiki/Alternative_set_theory http://en.wikipedia.org/wiki/Outline_of_academic_disciplines http://en.wikipedia.org/wiki/Up_tack http://en.wikipedia.org/wiki/Outline_of_software_engineering http://en.wikipedia.org/wiki/Outline_of_mathematics http://en.wikipedia.org/wiki/Outline_of_computer_science http://en.wikipedia.org/wiki/Type_theory
skos:prefLabel	Type theory
skos:altLabel	e type types entities typed Theory of Types Type theory#Basics Type theory#Equality types Type theory#Equality_types Type-theoretical Type_theory#Applications Type_theory#Linguistics Type_theory#List_of_type_theories Type_theory#Mathematical_foundations Type_theory#Universe_types Type_theory#Universes doctrine of types higher-type link types logical types ramified theory of types semantic type simple theory of types theory of datatypes theory of types type compatibility type subsystem type systems type theoretic type theories type theory type-theoretic untyped
is clgo:academicDiscipline of	Luca Cardelli Thorsten Altenkirch Conor McBride J. Roger Hindley
is clgo:influenced of	Gregory Bateson
is clgo:knownFor of	Steve Awodey
is clgo:notableIdea of	Bertrand Russell

About: clgr:Type_theory