Corrado Böhm
personne
mathématicien italien
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.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Corrado_Böhm
Lien Wikidata : https://www.wikidata.org/wiki/Q943361
Propriétés
- date_deces
- +2017-10-2
- date_naissance
- +1923-01-1
- genre_personne
- masculin
- lieu_deces
- {"qid": "Q220", "label": "Rome"}
- lieu_naissance
- {"qid": "Q490", "label": "Milan"}
- nationalite
- royaume d'Italie
- occupation
- logicien ou logicienne
- p106_all
- logicien ou logicienne, professeur d'université, mathématicien ou mathématicienne, ingénieur, informaticien ou informaticienne