|
|
|
|
|
|
by earthicus
605 days ago
|
|
|
It was discovered that the procedure mechanism of Algol 60 was effectively equivalent to the lambda calulus. This insight was written out in a famous paper by Peter Landin, "Correspondence between ALGOL 60 and Church's Lambda-notation: part I" https://dl.acm.org/doi/10.1145/363744.363749 |
|
|