Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01806645n
Noun Named Entity
AR
Corrado Bohm
EN
Corrado Böhm was a Professor Emeritus at the University of Rome "La Sapienza" and a computer scientist known especially for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda calculus, and the semantics and implementation of functional programming languages. Wikipedia
Relations
Sources
IS A
إنسان
AWARD RECEIVED
EN
EATCS award
DOCTORAL ADVISOR
Eduard Stiefel
Paul Bernays
DOCTORAL STUDENT
EN
Giorgio Ausiello
EN
Mariangiola Dezani-Ciancaglini
EDUCATED AT
المعهد الفدرالي السويسري للتكنولوجيا في زيورخ
مدرسة لوزان الاتحادية للعلوم التطبيقية
EMPLOYER
جامعة روما سابينزا
جامعة تورينو
FAMILY NAME
بوم
FIELD OF WORK
حوسبة
البرمجة الوظيفية
تكامل لامدا
برمجة مهيكلة
منطق توافقي
+2 relations
GIVEN NAME
Corrado
LANGUAGES SPOKEN, WRITTEN OR SIGNED
لغة إيطالية
MEMBER OF
اكاديمية اوروبيا
OCCUPATION
مهندس
عالم حاسوب
عالم رياضيات
أستاذ جامعة
PLACE OF BIRTH
ميلانو
PLACE OF DEATH
روما
SEX OR GENDER
ذكر
WORK LOCATION
روما
تورينو
BabelNet
AR
Corrado Bohm

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License