Dependent type

https://www.wikidata.org/wiki/Q997433

Field Hierarchy

Parent
Computer science 62.9M papers	Mathematics 22.2M papers	Programming language 7.7M papers	Discrete mathematics 696k papers
Natural deduction 2,776 papers	Lambda calculus 2,294 papers	Type (model theory) 188 papers
Current
Dependent type 669 papers
Child

Trends

Notes

History