Corrado Böhm

De Wikipedia
Salta a la navigazzion Và a cercà
Lumbard ucidental Quest articol chì l'è scrivuu in lombard, grafia milanesa.

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[Modifega | modifica 'l sorgent]

  • 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[Modifega | modifica 'l sorgent]

Ligamm de foeura[Modifega | modifica 'l sorgent]