information about Curry–Howard correspondence field

Curry–Howard correspondence

https://www.wikidata.org/wiki/Q975734
Field Hierarchy
Parent
Computer science
62.9M papers
Mathematics
22.2M papers
Programming language
7.7M papers
Geometry
6.4M papers
Discrete mathematics
696k papers
Mathematical proof
44.3k papers
Natural deduction
2,776 papers
Lambda calculus
2,294 papers
Current
Curry–Howard correspondence
438 papers
Child
Trends