Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01806645n
Noun Named Entity
Categories: 1923 births, Italian computer scientists, 2017 deaths, 20th-century Italian scientists, 21st-century Italian scientists
EN
Corrado Böhm  Corrado Boehm  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
Definitions
Relations
Sources
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
Italian computer scientist Wikipedia Disambiguation
Italian mathematician and computer scientist Wikidata
IS A
homo
AWARD RECEIVED
EATCS award
DOCTORAL ADVISOR
Eduard Stiefel
Paul Bernays
DOCTORAL STUDENT
Giorgio Ausiello
Mariangiola Dezani-Ciancaglini
EDUCATED AT
ETH Zürich
École Polytechnique Fédérale de Lausanne
EMPLOYER
Sapienza University of Rome
University of Turin
FAMILY NAME
Boehm
FIELD OF WORK
computer science
functional programming
lambda calculus
structured programming
combinational logic
+2 relations
GIVEN NAME
Corrado
LANGUAGES SPOKEN, WRITTEN OR SIGNED
Italian
MEMBER OF
Academia Europaea
OCCUPATION
engineer
computer scientist
mathematician
professeur des universités
PLACE OF BIRTH
Milan
PLACE OF DEATH
Rome
SEX OR GENDER
male
WORK LOCATION
Rome
Turin
Wikipedia
EN
Corrado Böhm
Wikidata
EN
Corrado Böhm
Wikipedia Redirections
EN
Corrado Boehm, 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