| Property | Value |
|---|
| dbo:abstract | - Corrado Böhm, né le 17 janvier 1923 à Milan et mort le 23 octobre 2017 à Rome, est un informaticien théoricien italien. Professeur émérite à l'université de Rome « La Sapienza », il est connu principalement pour ses contributions à la théorie de la programmation structurée, aux mathématiques constructives, à la logique combinatoire, au lambda-calcul, à la sémantique et à l'implémentation des langages de programmation fonctionnelle. (fr)
- Corrado Böhm, né le 17 janvier 1923 à Milan et mort le 23 octobre 2017 à Rome, est un informaticien théoricien italien. Professeur émérite à l'université de Rome « La Sapienza », il est connu principalement pour ses contributions à la théorie de la programmation structurée, aux mathématiques constructives, à la logique combinatoire, au lambda-calcul, à la sémantique et à l'implémentation des langages de programmation fonctionnelle. (fr)
|
| dbo:almaMater | |
| dbo:award | |
| dbo:birthPlace | |
| dbo:citizenship | |
| dbo:deathDate | |
| dbo:deathPlace | |
| dbo:discipline | |
| dbo:doctoralAdvisor | |
| dbo:doctoralStudent | |
| dbo:employer | |
| dbo:occupation | |
| dbo:wikiPageExternalLink | |
| dbo:wikiPageID | |
| dbo:wikiPageLength | - 10510 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID | |
| dbo:wikiPageWikiLink | |
| prop-fr:activités | |
| prop-fr:année | - 1954 (xsd:integer)
- 1964 (xsd:integer)
- 1966 (xsd:integer)
- 1968 (xsd:integer)
- 1972 (xsd:integer)
- 1985 (xsd:integer)
- 1988 (xsd:integer)
- 1993 (xsd:integer)
- 1997 (xsd:integer)
|
| prop-fr:auteur | - Alessandro Berarducci (fr)
- Corrado Böhm (fr)
- Guiseppe Jacopini (fr)
- Mariangiola Dezani-Ciancaglini (fr)
- Alessandro Berarducci (fr)
- Corrado Böhm (fr)
- Guiseppe Jacopini (fr)
- Mariangiola Dezani-Ciancaglini (fr)
|
| prop-fr:auteursOuvrage | - M. P. Chytil, L. Janiga et V. Koubek (fr)
- M. P. Chytil, L. Janiga et V. Koubek (fr)
|
| prop-fr:collection | - Lecture Notes in Computer Science Vol. 324 (fr)
- Lecture Notes in Computer Science Vol. 324 (fr)
|
| prop-fr:diplôme | - Ph. D. 1954 (fr)
- Ph. D. 1954 (fr)
|
| prop-fr:doi | - 10.100700 (xsd:double)
- 10.101600 (xsd:double)
- 10.114500 (xsd:double)
|
| prop-fr:fr | - P′′ (fr)
- compilateur méta-circulaire (fr)
- P′′ (fr)
- compilateur méta-circulaire (fr)
|
| prop-fr:institutions | |
| prop-fr:journal | - Theoretical Computer Science (fr)
- International Journal of Parallel Programming (fr)
- Annali di Mat. pura e applicata, série IV (fr)
- Comm. of the ACM (fr)
- ICC Bulletin (fr)
- Pubblicatione del Istituto per le Applicazioni del Calcolo (fr)
- Theoretical Computer Science (fr)
- International Journal of Parallel Programming (fr)
- Annali di Mat. pura e applicata, série IV (fr)
- Comm. of the ACM (fr)
- ICC Bulletin (fr)
- Pubblicatione del Istituto per le Applicazioni del Calcolo (fr)
|
| prop-fr:lang | |
| prop-fr:lieu | - Rome (fr)
- Carlsbad (fr)
- Rome (fr)
- Carlsbad (fr)
|
| prop-fr:lireEnLigne | |
| prop-fr:mois | |
| prop-fr:numéro | - 1 (xsd:integer)
- 2 (xsd:integer)
- 5 (xsd:integer)
- 696 (xsd:integer)
|
| prop-fr:pages | - 1 (xsd:integer)
- 135 (xsd:integer)
- 171 (xsd:integer)
- 185 (xsd:integer)
- 366 (xsd:integer)
|
| prop-fr:passage | - 3 (xsd:integer)
- 14 (xsd:integer)
|
| prop-fr:présentationEnLigne | |
| prop-fr:texte | - P′′ (fr)
- méta-circulaire (fr)
- P′′ (fr)
- méta-circulaire (fr)
|
| prop-fr:titre | - Automatic Synthesis of typed Lambda-programs on Term Algebras (fr)
- Calculatrices digitales. Du déchiffrage des formules mathématiques par la machine même dans la conception du programme (fr)
- Functional Programming and Combinatory algebras (fr)
- On a family of Turing machines and the related programming language (fr)
- A CUCH-machine: The automatic treatment of bound variables (fr)
- Flow diagrams, Turing Machines and Languages with only Two Formation Rules (fr)
- Alcune proprietà delle forme β-η-normali nel λ-K-calcolo (fr)
- Theoretical Computer Science and Software Science: The Past, the Present and the Future (fr)
- A Collection of Contributions in Honour of Corrado Böhm on the Occasion of his 70th Birthday (fr)
- Automatic Synthesis of typed Lambda-programs on Term Algebras (fr)
- Calculatrices digitales. Du déchiffrage des formules mathématiques par la machine même dans la conception du programme (fr)
- Functional Programming and Combinatory algebras (fr)
- On a family of Turing machines and the related programming language (fr)
- A CUCH-machine: The automatic treatment of bound variables (fr)
- Flow diagrams, Turing Machines and Languages with only Two Formation Rules (fr)
- Alcune proprietà delle forme β-η-normali nel λ-K-calcolo (fr)
- Theoretical Computer Science and Software Science: The Past, the Present and the Future (fr)
- A Collection of Contributions in Honour of Corrado Böhm on the Occasion of his 70th Birthday (fr)
|
| prop-fr:titreOuvrage | - MFCS 1988 (fr)
- TAPSOFT (fr)
- MFCS 1988 (fr)
- TAPSOFT (fr)
|
| prop-fr:tome | |
| prop-fr:trad | - Meta-circular evaluator (fr)
- P′′ (fr)
- Meta-circular evaluator (fr)
- P′′ (fr)
|
| prop-fr:url | |
| prop-fr:volume | - 1 (xsd:integer)
- 3 (xsd:integer)
- 9 (xsd:integer)
- 39 (xsd:integer)
- 121 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate | |
| prop-fr:éditeur | - Springer (fr)
- Springer (fr)
|
| dct:subject | |
| rdf:type | |
| rdfs:comment | - Corrado Böhm, né le 17 janvier 1923 à Milan et mort le 23 octobre 2017 à Rome, est un informaticien théoricien italien. Professeur émérite à l'université de Rome « La Sapienza », il est connu principalement pour ses contributions à la théorie de la programmation structurée, aux mathématiques constructives, à la logique combinatoire, au lambda-calcul, à la sémantique et à l'implémentation des langages de programmation fonctionnelle. (fr)
- Corrado Böhm, né le 17 janvier 1923 à Milan et mort le 23 octobre 2017 à Rome, est un informaticien théoricien italien. Professeur émérite à l'université de Rome « La Sapienza », il est connu principalement pour ses contributions à la théorie de la programmation structurée, aux mathématiques constructives, à la logique combinatoire, au lambda-calcul, à la sémantique et à l'implémentation des langages de programmation fonctionnelle. (fr)
|
| rdfs:label | - Corrado Böhm (fr)
- Corrado Böhm (de)
- Corrado Böhm (en)
- Corrado Böhm (it)
- コラド・ベーム (ja)
|
| rdfs:seeAlso | |
| owl:sameAs | |
| prov:wasDerivedFrom | |
| foaf:isPrimaryTopicOf | |
| isdbo:doctoralAdvisor of | |
| isdbo:doctoralStudent of | |
| isdbo:influenced of | |
| isdbo:influencedBy of | |
| isdbo:wikiPageDisambiguates of | |
| isdbo:wikiPageRedirects of | |
| isdbo:wikiPageWikiLink of | |
| isprop-fr:directeurThèse of | |
| isprop-fr:étudiantsThèse of | |
| isoa:hasTarget of | |
| isfoaf:primaryTopic of | |
