Disambiguation evidence for lambda calculus via surface form

"Church’s lambda calculus"

Triples (1)

Triples where some other subject referred to this entity as "Church’s lambda calculus".

Kleene–Rosser paradox → relatedTo →
"Church’s lambda calculus"
↳ resolves to lambda calculus
ⓘ