Can I read Preface on EtoBox?

Preface by Steffen van Bakel; Stefano Berardi is a Computer Science article available to read on EtoBox.

What is Preface about?

CL&C'06 was the first of a new conference series on "Classical Logic and Computation". It intended to cover all work aiming to explore computational aspects of classical logic and mathematics. The fact that classical mathematical proofs of simply existential statements can be read as programs was established by Gödel and Kreisel half a century ago. But the possibility of extracting useful computational content from classical proofs was taken seriously only from the 1990s on when it was discovered that proof interpretations based on Gódel's and Kreisel's ideas can provide new non-trivial algorithms and numerical results, and the Curry-Howard correspondence can be extended to classical logic via programming concepts such as continuations and control operators. The program committee of CL&C'06 consisted of many of the researchers already active in the field:

Who reads Preface?

Author

Steffen van Bakel; Stefano Berardi

Publisher

Elsevier Science; Elsevier ; Elsevier BV (ISSN 0168-0072)

Published

2008

Language

FR

Field

Computer Science (Physical Sciences)