Special Issue Joint Workshop Domains VIII - Computability over Continuous Data Types, Novosibirsk, September 11-15, 2007 Preface

摘要

This special issue of the Annals of Pure and Applied Logic contains a selection of peer-reviewed articles, based on presentations made at the Joint Workshop Domains VIII- Computability over Continuous Data Types that was held in Novosibirsk, Russian Federation, in 2007. The combination of the two workshops turned out to be particularly rewarding. The interaction between scientists belonging to different scientific communities led to an increased mutual understanding. The contributions on applications of proof theory to problems in mainstream analysis, and extracting constructive information from classical proofs through the method of functional interpretation, were amongst the highlights of the workshop, but are not included here, as the respective papers were already committed to other publications.