Table of Contents

Introduction
Douglas Bridges: Errett Bishop
1: Michael Rathjen: Generalized Inductive Definitions in Constructive Set Theory
2: Alex Simpson: Constructive Set Theories and their Category-theoretic Models
3: Nicola Gambino: Presheaf models for Constructive Set Theories
4: Thomas Streicher: Universes in Toposes
5: Maria Emilia Maietti & Giovanni Sambin: Toward a minimalistic foundation for constructive mathematics
6: Peter Hancock & Anton Setzer: Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory
7: Ulrich Berger and Monika Seisenberger: Applications of inductive definitions and choice principles to program synthesis
8: Sara Negri and Jan von Plato: The duality of lcassical and constructive notions and proofs
9: Erik Palmgren: Continuity on the real line and in formal spaces
10: Peter Aczel & Christopher Fox: Separation Properties in Constructive Topology
11: A. Bucalo & G. Rosolini: Spaces as comonoids
12: Maria Emilia Maietti: Predicative exponentiation of locally compact formal topologies over inductively generated ones
13: Stephen Vickers: Some constructive roads to Tychonoff
14: Thierry Coquand, Henri Lombardi & Marie-Francoise Roy: An elementary characterisation of Krull dimension
15: Hajime Ishihara: Constructive reverse mathematics: compactness properties
16: Bas Spitters: Approximating integrable sets by compacts constructively
17: Hiroki Takamura: An introduction to the theory of c*-algegras in constructive mathematics
18: Douglas Bridges & Robin Havea: Approximations to the numerical range of an element of a Banach algebra
19: Douglas Bridges & Luminita Vita: The constructive uniqueness of the locally convex topology on rn
20: Vasco Brattka: Computability on Non-Separable Banach Spaces and Landau's Theorem

Reviews

|s