BabelNet

Search

bn:01806645n

Noun Named Entity

Categories: Hombres, Pioneros de la informática, Fallecidos en 2017, Nacidos en Milán, Alumnado de la Escuela Politécnica Federal de Lausana

ES

Corrado Böhm Corrado Bohm

ES

Corrado Böhm [1] fue un informático teórico italiano, profesor emérito de la Universidad de La Sapienza, conocido principalmente por sus contribuciones en la teoría de programación estructurada, matemática constructiva, lógica combinatoria, cálculo lambda, y la semántica e implementación de lenguajes de programación funcional. Wikipedia

Definitions

Relations

Sources

ES

Corrado Böhm [1] fue un informático teórico italiano, profesor emérito de la Universidad de La Sapienza, conocido principalmente por sus contribuciones en la teoría de programación estructurada, matemática constructiva, lógica combinatoria, cálculo lambda, y la semántica e implementación de lenguajes de programación funcional. Wikipedia

Informático teórico italiano. Wikipedia Disambiguation

IS A

AWARD RECEIVED

DOCTORAL ADVISOR

DOCTORAL STUDENT

Giorgio Ausiello

Mariangiola Dezani-Ciancaglini

EDUCATED AT

Escuela Politécnica Federal de Zúrich

Escuela Politécnica Federal de Lausana

EMPLOYER

Universidad de Roma La Sapienza

Universidad de Turín

FAMILY NAME

FIELD OF WORK

programación funcional

cálculo lambda

programación estructurada

sistema combinacional

GIVEN NAME

LANGUAGES SPOKEN, WRITTEN OR SIGNED

MEMBER OF

Academia Europæa

OCCUPATION

profesor universitario

PLACE OF BIRTH

PLACE OF DEATH

SEX OR GENDER

WORK LOCATION

Wikipedia

ES

Corrado Böhm

Wikidata

ES

Corrado Böhm

Wikipedia Redirections

ES

Corrado Bohm