Visions of Computer Science - BCS International Academic Conference

Imperial College, London, UK - 22 - 24 September 2008

AUTHORS

Steffen van Bakel

ABSTRACT

The role of Classical Logic in computer science is changing drastically over the last few years. Given the direct relation between the Lambda Calculus (Barendregt 1984) and intuitionistic logic, for many years it was believed that only the constructive logics had any real computational content, and only after Griffin's discovery of the relation between double-negation elimination (Griffi n 1990) and Felleisen's control operators (Felleisen, Friedman, Kohlbecker, and Duba 1987) did the research community become aware of the computational advantages of Classical Logic.

PAPER FORMATS 

PDF Version of this Paper (308kb)

 

Other Papers in this Session
Other Sessions in this Conference