Ter nagedachtenis aan

Corrado Böhm

17 januari 1923 — 23 oktober 2017

Milán · Roma

0 aangestoken kaarsen

Bijdragen worden vóór publicatie beoordeeld (15–60 minuten).

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).