Kategori:Lamda kalkülüs
Kategori:Hesaplama modelleri
Kategori:Hesaplanabilirlik teorisi
Kategori:Fonksiyonel programlama
Kategori:Amerika Birleşik Devletleri icatları
Kategori:1936'da bilgisayar bilimi.