Church para esto se basó en trabajo previo de Stephen Kleene.