3 ms·
Gems of Corrado Böhm
- danharaj 8y agoThe article itself is written by a giant in the theory of the lambda calculus.
- sn41 8y agoI now understand the contribution of the Bohm-Jacopini paper [1] towards structured programming. It should be as well-known as Dijkstra's "Goto considered harmful". [1] https://en.wikipedia.org/wiki/Structured_program_theorem https://en.wikipedia.org/wiki/Structured_program_theorem