This website uses cookies.

We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.

Lambda calculus

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

Field Hierarchy

Parent
Computer science 56.2M papers	Mathematics 21.6M papers	Programming language 7.4M papers	Discrete mathematics 711k papers
Current
Lambda calculus 2,100 papers
Child
Typed lambda calculus 991 papers	Simply typed lambda calculus 799 papers	Dependent type 657 papers	Church encoding 486 papers
System F 459 papers		Curry–Howard correspondence 422 papers

Trends

Notes

To use the Note feature, you need to be logged in. Please

History