Corrado Böhm
mathématicien italien / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Corrado Böhm?
Résumez cet article pour un enfant de 10 ans
AFFICHER TOUTES LES QUESTIONS
Pour les articles homonymes, voir Böhm.
Corrado Böhm, né le à Milan et mort le à Rome[1], est un informaticien théoricien italien.
Faits en bref Naissance, Décès ...
Corrado Böhm
Naissance | |
---|---|
Décès | |
Nationalité | |
Formation | |
Activité |
A travaillé pour | |
---|---|
Membre de | |
Directeurs de thèse | |
Site web | |
Distinctions |
Fermer
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.