Corrado Böhm

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