Assertion: church | /r/HasProperty | λ-definable
Facets:
Source sentences:
text: In the course of studying the problem, Church and his student Stephen Kleene introduced the notion of λ-definable functions, and they were able to prove that several large classes of functions frequently encountered in number theory were λ-definable.