| 2003 |
|---|
| 5 | | Douglas S. Bridges,
Luminita Dediu:
Apartness spaces as a framework for constructive topology.
Ann. Pure Appl. Logic 119(1-3): 61-83 (2003) |
| 1999 |
|---|
| 4 | EE | Luminita Dediu,
Douglas S. Bridges:
Constructive Notes on Uniform and Locally Convex Spaces.
FCT 1999: 195-203 |
| 3 | EE | Douglas S. Bridges,
Luminita Dediu:
Weak Continuity Properties in Constructive Analysis.
Logic Journal of the IGPL 7(3): 277-281 (1999) |
| 2 | | Douglas S. Bridges,
Luminita Dediu:
Weak-operator Continuity and the Existence Of Adjoints.
Math. Log. Q. 45: 203-206 (1999) |
| 1997 |
|---|
| 1 | | Douglas S. Bridges,
Luminita Dediu:
Paradise lost, or paradise regained?.
Bulletin of the EATCS 63: (1997) |
