Paradise lost, or paradise regained?. - Douglas S. Bridges; Luminita Dediu (Bull. EATCS, 1997)

Constructive Notes on Uniform and Locally Convex Spaces. - Luminita Dediu; Douglas S. Bridges (FCT, 1999)

Weak Continuity Properties in Constructive Analysis. - Douglas S. Bridges; Luminita Dediu (Log. J. IGPL, 1999)

Weak-operator Continuity and the Existence Of Adjoints. - Douglas S. Bridges; Luminita Dediu (Math. Log. Q., 1999)

Apartness as a Relation Between Subsets. - Peter Schuster 001; Luminita Vîta; Douglas S. Bridges (DMTCS, 2001)

Characterising Near Continuity Constructively. - Douglas S. Bridges; Luminita Vîta (Math. Log. Q., 2001)

Apartness, Topology, and Uniformity: a Constructive View. - Douglas S. Bridges; Peter Schuster 001; Luminita Vîta (Math. Log. Q., 2002)

Apartness spaces as a framework for constructive topology. - Douglas S. Bridges; Luminita Vîta (Ann. Pure Appl. Log., 2003)

A proof-technique in uniform space theory. - Douglas S. Bridges; Luminita Vîta (J. Symb. Log., 2003)

Strong and Uniform Continuity - the Uniform Space Case. - Douglas S. Bridges; Luminita Vîta (LMS J. Comput. Math., 2003)

Proximal and uniform convergence on apartness spaces. - Luminita Vîta (Math. Log. Q., 2003)

On proximal convergence in uniform spaces. - Luminita Vîta (Math. Log. Q., 2003)

A constructive theory of point-set nearness. - Luminita Vîta; Douglas S. Bridges (Theor. Comput. Sci., 2003)

A General Constructive Proof Technique. - Douglas S. Bridges; Luminita Vîta (CCA, 2004)

Corrigendum to "A proof - technique in uniform space theory". - Douglas S. Bridges; Luminita Vîta (J. Symb. Log., 2004)

The constructive uniqueness of the locally convex topology on rn. - Douglas S. Bridges; Luminita Vîta (From sets and types to topology and analysis, 2005)

An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y). - Douglas S. Bridges; Luminita Vîta (CCA, 2005)

Compactness in apartness spaces? - Douglas S. Bridges; Hajime Ishihara; Peter Schuster 001; Luminita Vîta (Spatial Representation, 2005)

Strong continuity implies uniform sequential continuity. - Douglas S. Bridges; Hajime Ishihara; Peter Schuster 001; Luminita Vîta (Arch. Math. Log., 2005)

On Complements of Sets and the Efremovic Condition in Pre-apartness Spaces. - Luminita Simona Vîta (J. Univers. Comput. Sci., 2005)

Extending strongly continuous functions between apartness spaces. - Luminita Simona Vîta (Arch. Math. Log., 2006)

Quasi-apartness and neighbourhood spaces. - Hajime Ishihara; Ray Mines; Peter Schuster 001; Luminita Vîta (Ann. Pure Appl. Log., 2006)

Pre-apartness structures on spaces of functions. - Douglas S. Bridges; Luminita Simona Vîta (J. Complex., 2006)

Proximal Connectedness. - Douglas S. Bridges; Luminita Vîta (Fundam. Informaticae, 2008)

Separation properties in neighbourhood and quasi-apartness spaces. - Robin Havea; Hajime Ishihara; Luminita Vîta (Math. Log. Q., 2008)

Apartness, compactness and nearness. - Douglas S. Bridges; Hajime Ishihara; Peter M. Schuster; Luminita Vîta (Theor. Comput. Sci., 2008)

Apartness and Uniformity - A Constructive Development. - Douglas S. Bridges; Luminita Simona Vîta (Springer, 2011)

Constructing the Infimum of Two Projections. - Douglas S. Bridges; Luminita Vîta (Computation, Physics and Beyond, 2012)

A first constructive look at the comparison of projections. - Douglas S. Bridges; Luminita Simona Vîta (Log. J. IGPL, 2013)