Atminimui

Corrado Böhm

1923 m. sausio 17 d. — 2017 m. spalio 23 d.

Milán · Roma

0 uždegtų žvakių

Įrašai prieš paskelbiant peržiūrimi (per 15–60 minučių).

Corrado Böhm was an Italian computer scientist and Professor Emeritus at the University of Rome "La Sapienza", known especially for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda calculus, and the semantics and implementation of functional programming languages.

— Source: Wikipedia (CC-BY-SA).