|
gptkbp:instanceOf
|
gptkb:mathematical_concept
|
|
gptkbp:fieldOfStudy
|
gptkb:logic
gptkb:philosophy
Computer science
|
|
gptkbp:hasApplication
|
gptkb:artificial_intelligence
gptkb:logic
gptkb:Formal_logic
gptkb:Philosophy_of_language
gptkb:Philosophy_of_mind
gptkb:Set_theory
gptkb:Philosophy_of_logic
Automated theorem proving
Logic programming
Proof theory
Category theory
Cognitive science
Programming language design
Knowledge representation
Homotopy theory
Compiler construction
Mathematical linguistics
Formal semantics
Proof assistants
Software verification
Mathematical proof
Ontology engineering
Functional programming languages
Mathematical foundations
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Type Theory
|
|
gptkbp:notablePerson
|
gptkb:Alonzo_Church
gptkb:Bertrand_Russell
gptkb:Giuseppe_Peano
gptkb:Haskell_Curry
gptkb:Jean-Yves_Girard
gptkb:Per_Martin-Löf
gptkb:Thoralf_Skolem
gptkb:William_Howard
|
|
gptkbp:notableWork
|
gptkb:Curry–Howard_correspondence
gptkb:Martin-Löf_type_theory
gptkb:Homotopy_type_theory
gptkb:System_F
Type inference
Calculus of constructions
Dependent type theory
Intuitionistic type theory
Simple type theory
Type checking
|
|
gptkbp:relatedTo
|
gptkb:Lambda_calculus
gptkb:Set_theory
Proof theory
Category theory
Programming languages
|
|
gptkbp:studies
|
Computation
Functions
Types
Type systems
|
|
gptkbp:usedIn
|
Formal verification
Functional programming
Proof assistants
|
|
gptkbp:bfsParent
|
gptkb:Functional_Programming
|
|
gptkbp:bfsLayer
|
7
|