Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Corrado_Böhm> ?p ?o }
- Corrado_Böhm abstract "Corrado Böhm (born 17 January 1923), Professor Emeritus at the University of Rome \"La Sapienza\", is 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. In his PhD dissertation (in Mathematics, at ETH Zurich, 1951; published in 1954) he describes for the first time a full meta-circular compiler, that is a translation mechanism of a programming language, written in that same language. His most influential contribution is the so-called structured program theorem, published in 1966 together with Giuseppe Jacopini. In lambda-calculus, he established an important separation theorem between normal forms. Together with Alessandro Berarducci, he demonstrated an isomorphism between the strictly-positive algebraic data types and the polymorphic lambda-terms, otherwise known as Böhm–Berarducci encoding.A special issue of Theoretical Computer Science was dedicated to him in 1993, on his 70th birthday. He is the recipient of the 2001 EATCS Award for a distinguished career in theoretical computer science.".
- Corrado_Böhm almaMater ETH_Zurich.
- Corrado_Böhm birthDate "1923-01-17".
- Corrado_Böhm birthPlace Milan.
- Corrado_Böhm doctoralAdvisor Eduard_Stiefel.
- Corrado_Böhm doctoralAdvisor Paul_Bernays.
- Corrado_Böhm doctoralStudent Giorgio_Ausiello.
- Corrado_Böhm field Computer_science.
- Corrado_Böhm nationality Italy.
- Corrado_Böhm wikiPageExternalLink eth-32719-02.pdf.
- Corrado_Böhm wikiPageExternalLink www.corradobohm.it.
- Corrado_Böhm wikiPageExternalLink ~boehm.
- Corrado_Böhm wikiPageExternalLink tcs121.html.
- Corrado_Böhm wikiPageID "2462324".
- Corrado_Böhm wikiPageLength "4007".
- Corrado_Böhm wikiPageOutDegree "28".
- Corrado_Böhm wikiPageRevisionID "708051731".
- Corrado_Böhm wikiPageWikiLink Bxc3xb6hms_language.
- Corrado_Böhm wikiPageWikiLink Category:1923_births.
- Corrado_Böhm wikiPageWikiLink Category:Italian_computer_scientists.
- Corrado_Böhm wikiPageWikiLink Category:Italian_people_of_German_descent.
- Corrado_Böhm wikiPageWikiLink Category:Living_people.
- Corrado_Böhm wikiPageWikiLink Category:Sapienza_University_of_Rome_faculty.
- Corrado_Böhm wikiPageWikiLink Category:École_Polytechnique_Fédérale_de_Lausanne_alumni.
- Corrado_Böhm wikiPageWikiLink Combinatory_logic.
- Corrado_Böhm wikiPageWikiLink Computer_science.
- Corrado_Böhm wikiPageWikiLink Computer_scientist.
- Corrado_Böhm wikiPageWikiLink Constructivism_(mathematics).
- Corrado_Böhm wikiPageWikiLink ETH_Zurich.
- Corrado_Böhm wikiPageWikiLink Eduard_Stiefel.
- Corrado_Böhm wikiPageWikiLink European_Association_for_Theoretical_Computer_Science.
- Corrado_Böhm wikiPageWikiLink Functional_programming.
- Corrado_Böhm wikiPageWikiLink Giorgio_Ausiello.
- Corrado_Böhm wikiPageWikiLink Goto.
- Corrado_Böhm wikiPageWikiLink Italy.
- Corrado_Böhm wikiPageWikiLink Lambda_calculus.
- Corrado_Böhm wikiPageWikiLink Milan.
- Corrado_Böhm wikiPageWikiLink Paul_Bernays.
- Corrado_Böhm wikiPageWikiLink P′′.
- Corrado_Böhm wikiPageWikiLink Sapienza_University_of_Rome.
- Corrado_Böhm wikiPageWikiLink Structured_program_theorem.
- Corrado_Böhm wikiPageWikiLink Structured_programming.
- Corrado_Böhm wikiPageWikiLink Turing_completeness.
- Corrado_Böhm wikiPageWikiLinkText "Corrado Böhm".
- Corrado_Böhm almaMater ETH_Zurich.
- Corrado_Böhm birthDate "1923-01-17".
- Corrado_Böhm birthPlace Milan.
- Corrado_Böhm doctoralAdvisor Eduard_Stiefel.
- Corrado_Böhm doctoralAdvisor Paul_Bernays.
- Corrado_Böhm doctoralStudents Giorgio_Ausiello.
- Corrado_Böhm fields Computer_science.
- Corrado_Böhm name "Corrado Böhm".
- Corrado_Böhm nationality Italy.
- Corrado_Böhm wikiPageUsesTemplate Template:Authority_control.
- Corrado_Böhm wikiPageUsesTemplate Template:Birth_date_and_age.
- Corrado_Böhm wikiPageUsesTemplate Template:Compu-scientist-stub.
- Corrado_Böhm wikiPageUsesTemplate Template:EATCS_Award_laureates.
- Corrado_Böhm wikiPageUsesTemplate Template:Infobox_scientist.
- Corrado_Böhm wikiPageUsesTemplate Template:MathGenealogy.
- Corrado_Böhm wikiPageUsesTemplate Template:Reflist.
- Corrado_Böhm wikiPageUsesTemplate Template:Use_dmy_dates.
- Corrado_Böhm workplaces Sapienza_University_of_Rome.
- Corrado_Böhm subject Category:1923_births.
- Corrado_Böhm subject Category:Italian_computer_scientists.
- Corrado_Böhm subject Category:Italian_people_of_German_descent.
- Corrado_Böhm subject Category:Living_people.
- Corrado_Böhm subject Category:Sapienza_University_of_Rome_faculty.
- Corrado_Böhm subject Category:École_Polytechnique_Fédérale_de_Lausanne_alumni.
- Corrado_Böhm hypernym Scientist.
- Corrado_Böhm type Agent.
- Corrado_Böhm type List.
- Corrado_Böhm type Person.
- Corrado_Böhm type Scientist.
- Corrado_Böhm type Person.
- Corrado_Böhm type Diacritic.
- Corrado_Böhm type List.
- Corrado_Böhm type Member.
- Corrado_Böhm type Redirect.
- Corrado_Böhm type Scientist.
- Corrado_Böhm type Agent.
- Corrado_Böhm type NaturalPerson.
- Corrado_Böhm type Thing.
- Corrado_Böhm type Q215627.
- Corrado_Böhm type Q5.
- Corrado_Böhm type Q901.
- Corrado_Böhm type Person.
- Corrado_Böhm comment "Corrado Böhm (born 17 January 1923), Professor Emeritus at the University of Rome \"La Sapienza\", is 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.".
- Corrado_Böhm label "Corrado Böhm".
- Corrado_Böhm sameAs Q943361.
- Corrado_Böhm sameAs Corrado_Böhm.
- Corrado_Böhm sameAs Corrado_Böhm.
- Corrado_Böhm sameAs Corrado_Böhm.
- Corrado_Böhm sameAs Corrado_Böhm.
- Corrado_Böhm sameAs コラド・ベーム.
- Corrado_Böhm sameAs Corrado_Böhm.
- Corrado_Böhm sameAs Corrado_Böhm.
- Corrado_Böhm sameAs m.07ft41.
- Corrado_Böhm sameAs Q943361.
- Corrado_Böhm wasDerivedFrom Corrado_Böhm?oldid=708051731.
- Corrado_Böhm isPrimaryTopicOf Corrado_Böhm.