C. Böhm, "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.
C. Böhm, "On a family of Turing machines and the related programming language", ICC Bull., 3, 185-194, julio de 1964.
Donde introdujo P′′, el primer lenguaje imperativo sin GOTO que fue demostrado ser Turing completo.
C. Böhm, G. Jacopini, "Flow diagrams, Turing Machines and Languages with only Two Formation Rules", Comm. of the ACM, 9(5): 366-371,1966.
C. Böhm, "Alcune proprietà delle forme β-η-normali nel λ-K-calcolo", Pubbl. INAC, n. 696, Roma, 1968.
C. Böhm, A. Berarducci, "Automatic Synthesis of typed Lambda-programs on Term Algebras", Theoretical Computer Science, 39: 135-154, 1985.
C. Böhm, "Functional Programming and Combinatory algebras", MFCS, Carlsbad, Czecoslovakia, eds M.P. Chytil, L. Janiga y V. Koubek, LNCS 324, 14-26, 1988.
Referencias
ilpost.it: È morto Corrado Böhm
Enlaces externos
Currículum de Corrado (Universidad de Roma)
"A Collection of Contributions in Honour of Corrado Böhm on the Occasion of his 70th Birthday", Theoretical Computer Science, Volumen 121, Números 1 y 2, 1993.
Datos:Q943361
Multimedia:Corrado Böhm
Mayo 23, 2022
corrado, böhm, milán, enero, 1923, roma, octubre, 2017, informático, teórico, italiano, profesor, emérito, universidad, sapienza, conocido, principalmente, contribuciones, teoría, programación, estructurada, matemática, constructiva, lógica, combinatoria, cálc. Corrado Bohm Milan 17 de enero de 1923 Roma 23 de octubre de 2017 1 fue un informatico teorico italiano profesor emerito de la Universidad de La Sapienza conocido principalmente por sus contribuciones en la teoria de programacion estructurada matematica constructiva logica combinatoria calculo lambda y la semantica e implementacion de lenguajes de programacion funcional Corrado BohmInformacion personalNacimiento17 de enero de 1923 Milan Reino de Italia Fallecimiento23 de octubre de 2017 94 anos Roma Italia NacionalidadItalianaEducacionEducado enEscuela Politecnica Federal de ZurichEscuela Politecnica Federal de LausanaSupervisor doctoralEduard Stiefel y Paul BernaysInformacion profesionalAreaCiencias de la computacionConocido porP EmpleadorUniversidad de La SapienzaMiembro deAcademia Europaea desde 1990 DistincionesEATCS Award 2001 WebSitio webwww corradobohm it editar datos en Wikidata En un numero de la revista cientifica Theoretical Computer Science se le dedico una seccion especial producto de su cumpleanos numero 70 En 2001 recibio el premio EATCS Award por su distinguida carrera en las ciencias de la computacion teorica Publicaciones selectas EditarC Bohm Calculatrices digitales Du dechiffrage des formules mathematiques par la machine meme dans la conception du programme Annali di Mat pura e applicata serie IV tomo XXXVII 1 51 1954 C Bohm On a family of Turing machines and the related programming language ICC Bull 3 185 194 julio de 1964 Donde introdujo P el primer lenguaje imperativo sin GOTO que fue demostrado ser Turing completo C Bohm G Jacopini Flow diagrams Turing Machines and Languages with only Two Formation Rules Comm of the ACM 9 5 366 371 1966 C Bohm Alcune proprieta delle forme b h normali nel l K calcolo Pubbl INAC n 696 Roma 1968 C Bohm A Berarducci Automatic Synthesis of typed Lambda programs on Term Algebras Theoretical Computer Science 39 135 154 1985 C Bohm Functional Programming and Combinatory algebras MFCS Carlsbad Czecoslovakia eds M P Chytil L Janiga y V Koubek LNCS 324 14 26 1988 Referencias Editar ilpost it E morto Corrado BohmEnlaces externos EditarCurriculum de Corrado Universidad de Roma A Collection of Contributions in Honour of Corrado Bohm on the Occasion of his 70th Birthday Theoretical Computer Science Volumen 121 Numeros 1 y 2 1993 Datos Q943361 Multimedia Corrado Bohm Obtenido de https es wikipedia org w index php title Corrado Bohm amp oldid 136786272, wikipedia, wiki, leyendo, leer, libro, biblioteca,
