Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q943361> ?p ?o }
Showing triples 1 to 67 of
67
with 100 triples per page.
- Q943361 subject Q15063154.
- Q943361 subject Q5312304.
- Q943361 subject Q6647258.
- Q943361 subject Q7039004.
- Q943361 subject Q8558860.
- Q943361 subject Q8704355.
- Q943361 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.".
- Q943361 almaMater Q11942.
- Q943361 birthDate "1923-01-17".
- Q943361 birthPlace Q490.
- Q943361 doctoralAdvisor Q122318.
- Q943361 doctoralAdvisor Q122724.
- Q943361 doctoralStudent Q20797698.
- Q943361 field Q21198.
- Q943361 nationality Q38.
- Q943361 wikiPageExternalLink eth-32719-02.pdf.
- Q943361 wikiPageExternalLink www.corradobohm.it.
- Q943361 wikiPageExternalLink ~boehm.
- Q943361 wikiPageExternalLink tcs121.html.
- Q943361 wikiPageWikiLink Q1137814.
- Q943361 wikiPageWikiLink Q11942.
- Q943361 wikiPageWikiLink Q122318.
- Q943361 wikiPageWikiLink Q122724.
- Q943361 wikiPageWikiLink Q1481571.
- Q943361 wikiPageWikiLink Q15063154.
- Q943361 wikiPageWikiLink Q193076.
- Q943361 wikiPageWikiLink Q197970.
- Q943361 wikiPageWikiLink Q2072087.
- Q943361 wikiPageWikiLink Q20797698.
- Q943361 wikiPageWikiLink Q209344.
- Q943361 wikiPageWikiLink Q21198.
- Q943361 wikiPageWikiLink Q223335.
- Q943361 wikiPageWikiLink Q242028.
- Q943361 wikiPageWikiLink Q2635326.
- Q943361 wikiPageWikiLink Q3060764.
- Q943361 wikiPageWikiLink Q38.
- Q943361 wikiPageWikiLink Q490.
- Q943361 wikiPageWikiLink Q5312304.
- Q943361 wikiPageWikiLink Q6647258.
- Q943361 wikiPageWikiLink Q7039004.
- Q943361 wikiPageWikiLink Q750997.
- Q943361 wikiPageWikiLink Q82594.
- Q943361 wikiPageWikiLink Q8558860.
- Q943361 wikiPageWikiLink Q8704355.
- Q943361 almaMater Q11942.
- Q943361 birthDate "1923-01-17".
- Q943361 birthPlace Q490.
- Q943361 doctoralAdvisor Q122318.
- Q943361 doctoralAdvisor Q122724.
- Q943361 doctoralStudents Q20797698.
- Q943361 fields Q21198.
- Q943361 name "Corrado Böhm".
- Q943361 nationality Q38.
- Q943361 type Person.
- Q943361 type Agent.
- Q943361 type Person.
- Q943361 type Scientist.
- Q943361 type Agent.
- Q943361 type NaturalPerson.
- Q943361 type Thing.
- Q943361 type Q215627.
- Q943361 type Q5.
- Q943361 type Q901.
- Q943361 type Person.
- Q943361 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.".
- Q943361 label "Corrado Böhm".
- Q943361 name "Corrado Böhm".