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. — Wikipédia (CC BY-SA)
Nature : être humain
- décès
- octobre 2017
- naissance
- janvier 1923
- genre
- masculin
- lieu de décès
- Rome
- lieu de naissance
- Milan
- nationalité
- royaume d'Italie
- occupation
- logicien ou logicienne
Catégories : ingénieurs · mathématiciens · professeurs d'université · enseignants · scientifiques · personnes