Desenvolvido na década de 1930, o cálculo lambda captura a noção de computabilidade de maneira distinta, porém equivalente, às máquinas de Turing, o que permitiu que ele encontrasse aplicações importantes na matemática e na computação, em particular na teoria das linguagens de programação. Seu primeiro modelo não trivial foi construído usando topologia e publicado em 1970. Este trabalho detalha uma derivação desse modelo usando teoria de domínios e teoria das categorias.