Dependent type

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

Field Hierarchy

Parent
Computer science 54.8M papers	Mathematics 21.1M papers	Programming language 7.2M papers	Discrete mathematics 700k papers
Natural deduction 2,474 papers		Lambda calculus 2,080 papers
Current
Dependent type 647 papers
Child

Trends

Notes

History