Lambda calculus

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

Field Hierarchy

Parent
Computer science 54.8M papers	Mathematics 21.1M papers	Programming language 7.2M papers	Discrete mathematics 700k papers
Current
Lambda calculus 2,080 papers
Child
Typed lambda calculus 974 papers	Simply typed lambda calculus 782 papers	Dependent type 647 papers	Church encoding 482 papers
System F 453 papers		Curry–Howard correspondence 421 papers

Trends

Notes

History