information about Type theory field
Field Hierarchy
Parent | |||
---|---|---|---|
Biology 36M papers | Geology 10.4M papers | Ecology 8.1M papers | Paleontology 5.5M papers |
Type (biology) 255k papers | Type (model theory) 188 papers | ||
Current | |||
Type theory 2,577 papers | |||
Child | |||
System F-sub 0 papers | Impredicativity 0 papers | Rho calculus 0 papers | Strategy trees 0 papers |
Typing judgement 0 papers | Simple type theory 0 papers | Intuitionistic type theory 0 papers | Axiom of reducibility 0 papers |
Partial equivalence relation 0 papers | Agda 2 papers |
Trends
Notes
History