Abstract is missing.
- Applications of inductive definitions and choice principles to program synthesisUlrich Berger 0001, Monika Seisenberger.
- Separation Properties in Constructive TopologyPeter Aczel, Christopher Fox.
- Approximations to the numerical range of an element of a Banach algebraDouglas S. Bridges, Robin Havea.
- Presheaf models for Constructive Set TheoriesNicola Gambino.
- IntroductionErrett Bishop, Douglas S. Bridges.
- The duality of lcassical and constructive notions and proofsSara Negri, Jan von Plato.
- Predicative exponentiation of locally compact formal topologies over inductively generated onesMaria Emilia Maietti.
- Computability on Non-Separable Banach Spaces and Landau's TheoremVasco Brattka.
- Approximating integrable sets by compacts constructivelyBas Spitters.
- Constructive Set Theories and their Category-theoretic ModelsAlex Simpson.
- Universes in ToposesThomas Streicher.
- Some constructive roads to TychonoffStephen Vickers.
- An elementary characterisation of Krull dimensionThierry Coquand, Henri Lombardi, Marie-Françoise Roy.
- An introduction to the theory of c*-algegras in constructive mathematicsHiroki Takamura.
- Generalized Inductive Definitions in Constructive Set TheoryMichael Rathjen.
- Toward a minimalistic foundation for constructive mathematicsMaria Emilia Maietti, Giovanni Sambin.
- Constructive reverse mathematics: compactness propertiesHajime Ishihara.
- Interactive Programs and Weakly Final Coalgebras in Dependent Type TheoryPeter Hancock, Anton Setzer.
- Continuity on the real line and in formal spacesErik Palmgren.
- The constructive uniqueness of the locally convex topology on rnDouglas S. Bridges, Luminita Vîta.
- Spaces as comonoidsAnna Bucalo, Giuseppe Rosolini.