2

A Constructive Theory of PointSet Nearness
– Luminita Vita, Douglas Bridges
 2001

2

Cauchy nets in the constructive theory of apartness spaces
– Douglas Bridges
 2002

6

Constructive Mathematics, in Theory and Programming Practice
– Douglas Bridges, Steve Reeves
 1997

2

Constructive Order Completeness
– Marian Alexandru Baroni
 2004


Separatedness in Constructive Topology
– Douglas Bridges, et al.
 2003

3

The Constructive Implicit Function Theorem and Applications in Mechanics
– Douglas Bridges, Cristian Calude, Boris Pavlov, Doru Stefanescu, D. Bridges, C. Calude, B. Pavlov
 1997

1

Constructive Aspects of the Dirichlet Problem 1
– Douglas Bridges, Wang Yuchuan

4

From intuitionistic to pointfree topology: on the foundation of homotopy theory
– Erik Palmgren
 2005


homotopy
– Erik Palmgren
 2005

4

On weak Markov's principle
– Ulrich Kohlenbach
 2002


Constructive decidability of classical continuity
– Martín H. Escardó
 2012

2

Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics, MartinLöf formalization, in Agda notation, of part of the paper with the same title
– Martín H. Escardó


A Tour with Constructive Real Numbers
– Alberto Ciaffaglione, Pietro Di Gianantonio


Characterizing the interpretation of set theory in MartinLöf type
– Michael Rathjen, Sergei Tupailo, Leeds Ls Jt

4

Choice principles in constructive and classical set theories
– Michael Rathjen
 2002


The Triumph of Types: Principia Mathematica’s Impact on Computer Science
– Robert L. Constable

1

Metamathematical Properties of Intuitionistic Set Theories with Choice Principles
– Michael Rathjen

6

Realizability for constructive ZermeloFraenkel set theory
– Michael Rathjen
 2004

45

Notes on Constructive Set Theory
– Peter Aczel
 1997
