Vuonna 1958 John McCarthy kehitti lambda-kalkyylin pohjalta Lisp-kielen (List Processing) tekoälyohjelmien määrittelyä varten, esimerkkinä siitä kuinka yksinkertainen Turing-täydellinen kieli voi olla.
vˈuonna tˈuhat ˈyhdeksænsˌataː vˌiːsikymmentækˈahdeksan jˈohn ˌæmsˈeː kˈarthy kehˈitːɪ lˈambdakalkˈyːlɪm pohjˈalta lˈispkˈielen lˈist prosˈessɪŋ tˌekoælyohjˈelmien mˌæːrɪtːelˈyæ vˈarten, ˌesɪmerkːˈinæ sˈiːtæ kˈuiŋka ˌyksɪŋkertˈainen tˈurɪŋtˌæydellˈineŋ kˈielɪ vˈoi ˌolla.