![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
From sets and types to topology and analysis, 2005
- Laura Crosilla, Peter M. Schuster:
From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Oxford logic guides 48, Oxford University Press 2005, ISBN 978-0-19-856651-9 - Errett Bishop, Douglas S. Bridges:
Introduction. From sets and types to topology and analysis 2005 - Michael Rathjen:
Generalized Inductive Definitions in Constructive Set Theory. From sets and types to topology and analysis 2005 - Alex Simpson:
Constructive Set Theories and their Category-theoretic Models. From sets and types to topology and analysis 2005 - Nicola Gambino:
Presheaf models for Constructive Set Theories. From sets and types to topology and analysis 2005 - Thomas Streicher:
Universes in Toposes. From sets and types to topology and analysis 2005 - Maria Emilia Maietti, Giovanni Sambin:
Toward a minimalistic foundation for constructive mathematics. From sets and types to topology and analysis 2005 - Peter G. Hancock, Anton Setzer:
Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory. From sets and types to topology and analysis 2005 - Ulrich Berger, Monika Seisenberger:
Applications of inductive definitions and choice principles to program synthesis. From sets and types to topology and analysis 2005 - Sara Negri, Jan von Plato:
The duality of lcassical and constructive notions and proofs. From sets and types to topology and analysis 2005 - Erik Palmgren:
Continuity on the real line and in formal spaces. From sets and types to topology and analysis 2005 - Peter Aczel, Christopher Fox:
Separation Properties in Constructive Topology. From sets and types to topology and analysis 2005 - Anna Bucalo, Giuseppe Rosolini:
Spaces as comonoids. From sets and types to topology and analysis 2005 - Maria Emilia Maietti:
Predicative exponentiation of locally compact formal topologies over inductively generated ones. From sets and types to topology and analysis 2005 - Stephen Vickers:
Some constructive roads to Tychonoff. From sets and types to topology and analysis 2005 - Thierry Coquand, Henri Lombardi, Marie-Françoise Roy:
An elementary characterisation of Krull dimension. From sets and types to topology and analysis 2005 - Hajime Ishihara:
Constructive reverse mathematics: compactness properties. From sets and types to topology and analysis 2005 - Bas Spitters:
Approximating integrable sets by compacts constructively. From sets and types to topology and analysis 2005 - Hiroki Takamura:
An introduction to the theory of c*-algegras in constructive mathematics. From sets and types to topology and analysis 2005 - Douglas S. Bridges, Robin Havea:
Approximations to the numerical range of an element of a Banach algebra. From sets and types to topology and analysis 2005 - Douglas S. Bridges, Luminita Vîta:
The constructive uniqueness of the locally convex topology on rn. From sets and types to topology and analysis 2005 - Vasco Brattka:
Computability on Non-Separable Banach Spaces and Landau's Theorem. From sets and types to topology and analysis 2005
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.