Barendregt, Henk P. - Gems of Corrado Böhm

lmcs:5018 - Logical Methods in Computer Science, September 2, 2020, Volume 16, Issue 3
Gems of Corrado Böhm

Authors: Barendregt, Henk P.

The main scientific heritage of Corrado Böhm consists of ideas about computing, concerning concrete algorithms, as well as models of computability. The following will be presented. 1. A compiler that can compile itself. 2. Structured programming, eliminating the 'goto' statement. 3. Functional programming and an early implementation. 4. Separability in {\lambda}-calculus. 5. Compiling combinators without parsing. 6. Self-evaluation in {\lambda}-calculus.

Volume: Volume 16, Issue 3
Published on: September 2, 2020
Submitted on: December 7, 2018
Keywords: Computer Science - Logic in Computer Science,Computer Science - Programming Languages,03B40, 68N18, 68N20


Consultation statistics

This page has been seen 101 times.
This article's PDF has been downloaded 66 times.