É um modelo de computação projetado por Alonzo Church nos anos 1930 que oferece um modo muito formal de descrever um cálculo de uma função.
ɛ ũŋ mˌudˈelʊ dɨ kˌumputɐsˈɐ̃ʊ̃ pɹˌuʒɨtˈadʊ puɹ ˌɐlˈoŋzʊ ʃˈuɾəʃ nʊz ˈɐ̃nʊʒ mˈil nˈɔvɨsˈeɪŋtuʒi tɹˈiŋtɐ kɨ ˌɔfɨɾˈɛsɨ ũŋ mˈɔdʊ mwˈiŋtʊ fuɾəmˈɑl dɨ dˌeʃkɹɨvˈeɹ ũŋ kˈaʊkulʊ dɨ ˌumɐ fũŋsˈɐ̃ʊ̃.