Corrado Böhm
Un article de Wikipédia, l'encyclopédie libre.
Corrado Böhm (1923 à Milan - ) est ingénieur électronicien de l'EPUL (Lausanne, Suisse), 1946.
Doctorat de mathématiques de l'ETH (Zürich, Suisse), docteur Honoris Causa de l'Université de Milan.
Premier emploi à l'Université de Rome La Sapienza.
En 1965, il propose la machine abstraite CUCH comme modèle d'implantion des langages de programmation.
Domaine de recherche : informatique théorique, mathématiques constructives, logique combinatoire, lambda-calcul, sémantique et implantation de langages de programmation fonctionnels.
