|
2
|
Trace-class operators
– Douglas Bridges, Fred Richman, Peter Schuster
|
|
2
|
Metric boolean algebras and constructive measure theory
– Thierry Coquand, Erik Palmgren
|
|
2
|
Constructive mathematics without choice
– Fred Richman
- 2005
|
|
1
|
Intuitionistic type theory, volume 1
– Per Martin-L
- 1984
|
|
5
|
Constructive algebraic integration theory
– Bas Spitters
|
|
12
|
Metric spaces, generalised logic, and closed categories
– F W Lawvere
|
|
11
|
Spaces, volume 3 of Cambridge Studies in Advanced Mathematics
– Stone
- 1982
|
|
16
|
Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding
– M.M. Bonsangue, F. van Breugel, J. J. M. M. Rutten
- 1996
|
|
31
|
Constructive analysis, volume 279 of Grundlehren der Mathematischen Wissenschaften
– Errett Bishop, Douglas Bridges
- 1985
|
|
12
|
The fundamental theorem of algebra: a constructive development without choice
– Fred Richman
- 2000
|
|
4
|
Localic completion of generalized metric spaces I. submitted for publication, draft available on web at http://www.cs.bham.ac.uk/~sjv
– Steven Vickers
- 2003
|
|
7
|
Topological Riesz Spaces and Measure Theory
– D Fremlin
- 1974
|
|
33
|
Type Theories, Toposes and Constructive Set Theory: Predicative Aspects of AST
– Ieke Moerdijk, Erik Palmgren
- 2000
|
|
24
|
Formal spaces
– Michael P Fourman, Robin J Grayson
- 1982
|
|
2
|
Integrals and Operators, volume 228 of Grundlehren der mathematische Wissenschaften
– Irving E Segal, Ray A Kunze
- 1978
|
|
42
|
Constructivism in mathematics, an introduction, vol. i
– A S Troelstra, D van Dalen
- 1988
|
|
9
|
and Ieke Moerdijk. Sheaves in geometry and logic. Universitext
– Saunders Mac Lane
- 1994
|
|
16
|
About Stone's notion of Spectrum
– Thierry Coquand
- 2000
|
|
3
|
Almost f-algebras: commutativity and the Cauchy–Schwarz inequality
– G Buskes, A van Rooij
|
