Church encoding

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

Field Hierarchy

Parent
Computer science 62.9M papers	Mathematics 22.2M papers	Programming language 7.7M papers	Discrete mathematics 696k papers
Lambda calculus 2,294 papers	Typed lambda calculus 1,172 papers	Simply typed lambda calculus 962 papers
Current
Church encoding 644 papers
Child

Trends

Notes

History