Corrado Böhm

İsim: Corrado Böhm

Doğum: 17 Ocak 1923, Milano, İtalya

Ölüm: 23 Ekim 2017 (Yaş: 94)

Bilgisayarla ilgili katkılar

Roma Üniversitesi’nde Fahri Profesör (“La Sapienza”).
Yapılandırılmış programlama, yapıcı matematik, lambda hesabı, birleştirici mantık ve anlambilim ve işlevsel programlama dillerinin uygulanması teorisine katkılarıyla tanınan bilgisayar bilimcisi.
GOTO ifadesi olmayan ilk zorunlu programlama dili olan P′′ (“P double-prime”) tanıtıldı, 1964’te Turing-complete olduğunu kanıtladı.

Hesaplamalar dijital. Du déchiffrage des formüller matematiği par la machine même dans la concept du program (İngilizce: Dijital hesap makineleri. Program tasarımında matematiksel formüllerin makine tarafından deşifre edilmesi) 1954).
Turing makineleri ailesi ve ilgili programlama dili üzerine (1964).
Alcune proprietà delle forme normali nel K calcolo (İngilizce: k-hesabında normal formların özellikleri) (1968).
Term Cebirlerinde Yazılı Lambda Programlarının Otomatik Sentezi (1985).
Fonksiyonel Programlama ve Kombinasyon Cebirleri (1988).