Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01806645n
Noun Named Entity
EL
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
Boehm
FIELD OF WORK
πληροφορική
συναρτησιακός προγραμματισμός
λογισμός λάμδα
δομημένο προγραμματισμό
συνδυαστική λογική
+2 relations
GIVEN NAME
Corrado
LANGUAGES SPOKEN, WRITTEN OR SIGNED
Ιταλικά
MEMBER OF
Academia Europaea
OCCUPATION
μηχανικός
επιστήμονας υπολογιστών
μαθηματικός
διδάσκων πανεπιστημίου
PLACE OF BIRTH
Μιλάνο
PLACE OF DEATH
Ρώμη
SEX OR GENDER
άνδρας
WORK LOCATION
Ρώμη
Τορίνο
BabelNet
EL
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