scientific article
From MaRDI portal
Publication:3407137
zbMath1190.03053MaRDI QIDQ3407137
Douglas S. Bridges, Josef Berger
Publication date: 2 March 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Special maps on metric spaces (54E40) Constructive real analysis (26E40)
Related Items (6)
Convexity and constructive infima ⋮ Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative ⋮ Z-stability in Constructive Analysis ⋮ Reflections on function spaces ⋮ Glueing continuous functions constructively ⋮ Intuitionistic sequential compactness?
This page was built for publication:
