Alonzo Church ha dato importanti contributi alla logica matematica e ai fondamenti dell’informatica teorica. E’ stato professore di Matematica a Princeton per 38 anni. Fra i suoi studenti di dottorato figurano Alan Turing e John George Kemeny (sviluppatore del linguaggio Basic).
E’ noto sopratutto per aver sviluppato la teoria del lambda calcolo, un sistema formale per analizzare le funzioni e il loro calcolo. Il suo famoso areticolo pubblicato nel 1936 precedette il lavoro di Alan Turing sul problema della fermata.
Il lambda calcolo influenzò la creazione del linguaggio di programmazione Lisp e più in generale dei linguaggi di programmazione funzionale.