| Campo di ricerca | circuito combinatorio, lambda calcolo, informatica, semantica formale, costruttivismo matematico |
|---|---|
| Professione | informatico, ingegnere, matematico, professore universitario, logico |
| Nascita | 1923 |
| Morte | 2017 |
| Istituzioni | Università degli Studi di Roma "La Sapienza", Università degli Studi di Torino |
| Formazione | Politecnico federale di Zurigo, Scuola politecnica federale di Losanna |
| Premi | honorary doctor of the University of Milan, EATCS award |
| Luogo di nascita | Milano |
| Relatore di dottorato | Paul Bernays, Eduard Stiefel |
| Membro di | Academia Europaea |
Fonti: Wikidata (CC0) · Wikidata Q943361