| 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
|
- juillet (fr)
- juillet (fr)
|
| 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
| |
| is dbo:doctoralAdvisor
of | |
| is dbo:doctoralStudent
of | |
| is dbo:influenced
of | |
| is dbo:influencedBy
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:directeurThèse
of | |
| is prop-fr:étudiantsThèse
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
