Corrado Böhm
Corrado Böhm (17 January 1923 – 23 October 2017) 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.
designer
doctoral advisor
doctoral student
Wikipage disambiguates
Wikipage redirect
BrainfuckBöhmBöhm's languageBöhm treeComputer scienceCorrado (given name)Corrado BoehmCorrado BohmDeaths in October 2017Eduard StiefelEuropean Association for Theoretical Computer ScienceGiorgio AusielloHistory of compiler constructionHistory of programming languagesList of Italian mathematiciansList of computer scientistsList of pioneers in computer scienceLuca SpinelliMariangiola Dezani-CiancagliniMeta-circular evaluatorPaul BernaysProgramming language theoryP′′Sapienza University of RomeStructured program theoremTPK algorithmTimeline of programming languagesTuring machine equivalents
Link from a Wikipage to another Wikipage
designer
doctoral advisor
doctoral students
primaryTopic
Corrado Böhm
Corrado Böhm (17 January 1923 – 23 October 2017) 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.
has abstract
Corrado Böhm (* 17. Januar 192 ...... Universität La Sapienza (Rom).
@de
Corrado Böhm (17 January 1923 ...... ctional programming languages.
@en
Corrado Böhm (Milano, 17 genna ...... versità "La Sapienza" di Roma.
@it
Corrado Böhm (Milán, 17 de ene ...... ias de la computación teórica.
@es
Corrado Böhm (Milão, 17 de jan ...... onal de uma Máquina de Turing.
@pt
Corrado Böhm, né le 17 janvier ...... e programmation fonctionnelle.
@fr
Коррадо Бём (Corrado Böhm; 17 ...... ого университета и «Сапиенцы».
@ru
コラド・ベーム(Corrado Böhm, 1923年1月1 ...... である。 その他、ラムダ計算や関数型言語の研究でも知られる。
@ja
academic discipline
alma mater
birth date
1923-01-17
birth place
death date
2017-10-23
death place
doctoral advisor
doctoral student
institution
nationality
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
982,061,248
Link from a Wikipage to another Wikipage
alma mater
birth date
1923-01-17
birth place
death date
2017-10-23
death place
doctoral advisor
doctoral students
fields
name
Corrado Böhm
@en
nationality
wikiPageUsesTemplate
workplaces
subject
hypernym
comment
Corrado Böhm (* 17. Januar 192 ...... Universität La Sapienza (Rom).
@de
Corrado Böhm (17 January 1923 ...... ctional programming languages.
@en
Corrado Böhm (Milano, 17 genna ...... versità "La Sapienza" di Roma.
@it
Corrado Böhm (Milán, 17 de ene ...... jes de programación funcional.
@es
Corrado Böhm (Milão, 17 de jan ...... onal de uma Máquina de Turing.
@pt
Corrado Böhm, né le 17 janvier ...... e programmation fonctionnelle.
@fr
Коррадо Бём (Corrado Böhm; 17 ...... ого университета и «Сапиенцы».
@ru
コラド・ベーム(Corrado Böhm, 1923年1月1 ...... である。 その他、ラムダ計算や関数型言語の研究でも知られる。
@ja
label
Corrado Böhm
@de
Corrado Böhm
@en
Corrado Böhm
@es
Corrado Böhm
@fr
Corrado Böhm
@it
Corrado Böhm
@pt
Бём, Коррадо
@ru
コラド・ベーム
@ja
sameAs
wasDerivedFrom
isPrimaryTopicOf
name
Corrado Böhm
@en