El Corrado Böhm (Milan, 17 de sginee 1923 - Roma, 23 de ottober 2017) a l'è staa on matemategh e informategh italian, professor emèrit de l'Università "La Sapienza" de Roma.
L'è cognossuu per i sò studi in su la macchina del Turing e l'architettura de Von Neumann, insemma al Giuseppe Jacopini l'ha enonziaa l'important teorema de Böhm-Jacopini, per poeu spostàss in su la logega combinatoria e 'l lambda calcol, indova che l'ha enonziaa el teorema de Böhm in del lambda calcol.
Publegazion principai Calculatrices digitales. Du déchiffrage des formules mathématiques par la machine même dans la conception du programme, Annali di Mat. pura e applicata, serie IV, tomo XXXVII, 1-51, 1954. On a family of Turing machines and the related programming language, ICC Bull., 3, 185-194, July 1964. con Giuseppe Jacopini, Flow diagrams, Turing Machines and Languages with only Two Formation Rules, Comm. of the ACM, 9(5): 366-371,1966. Alcune proprietà delle forme β-η-normali nel λ-K-calcolo, Pubbl. INAC, n. 696, Roma, 1968. con Alessandro Berarducci, Automatic Synthesis of typed Lambda-programs on Term Algebras, Theoretical Computer Science, 39: 135-154, 1985. Functional Programming and Combinatory algebras, MFCS, Carlsbad, Czecoslovakia, eds M.P. Chytil, L. Janiga and V. Koubek, LNCS 324, 14-26, 1988.
Alter progett
Ligamm de foeura Sitt offizial
Categoria:Informategh italian Categoria:Matemategh italian Categoria:Nassud in del 1923 Categoria:Mort in del 2017