Disambiguation evidence for lambda calculus via surface form

"lambda calculus"

Triples (10)

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

Church (surname) → knownFor →
"lambda calculus"
↳ resolves to lambda calculus
ⓘ
surface form: Alonzo Church
On Computable Numbers with an Application to the Entscheidungsproblem → relatedTo →
"lambda calculus"
↳ resolves to lambda calculus
ⓘ
surface form: On Computable Numbers, with an Application to the Entscheidungsproblem
Alonzo Church → notableWork →
"lambda calculus"
↳ resolves to lambda calculus
ⓘ
ICFP → topic →
"lambda calculus"
↳ resolves to lambda calculus
ⓘ
Lisp programming language → influencedBy →
"lambda calculus"
↳ resolves to lambda calculus
ⓘ
surface form: Lisp
Dale Miller → influencedBy →
"lambda calculus"
↳ resolves to lambda calculus
ⓘ
ISWIM → influencedBy →
"lambda calculus"
↳ resolves to lambda calculus
ⓘ
Church–Rosser property → field →
"lambda calculus"
↳ resolves to lambda calculus
ⓘ
Alonzo → hasNotableAssociation →
"lambda calculus"
↳ resolves to lambda calculus
ⓘ
Barkley Rosser → areaOfInfluence →
"lambda calculus"
↳ resolves to lambda calculus
ⓘ