default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrom 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
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.
last updated on 2025-01-08 20:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
