information about Curry–Howard correspondence field

Curry–Howard correspondence

https://www.wikidata.org/wiki/Q975734
Field Hierarchy
Parent
Computer science
54.8M papers
Mathematics
21.1M papers
Programming language
7.2M papers
Geometry
6.2M papers
Discrete mathematics
700k papers
Mathematical proof
44.1k papers
Natural deduction
2,474 papers
Lambda calculus
2,080 papers
Current
Curry–Howard correspondence
421 papers
Child
Trends