Disambiguation evidence for lambda calculus via surface form
"Computability and λ-definability"
As object (1)
Triples where some other subject referred to this entity
as "Computability and λ-definability".
On Computable Numbers with an Application to the Entscheidungsproblem
→
followedBy
→
"Computability and λ-definability"
ⓘ
↳ resolves to lambda calculus
surface form:
On Computable Numbers, with an Application to the Entscheidungsproblem