scientific article; zbMATH DE number 1302065
From MaRDI portal
Publication:4247310
zbMATH Open0930.03091MaRDI QIDQ4247310FDOQ4247310
Authors: Giovanni Sambin, Silvio Valentini
Publication date: 15 February 2000
Title of this publication is not available (Why is that?)
Recommendations
Cited In (28)
- A minimalist two-level foundation for constructive mathematics
- The problem of the formalization of constructive topology
- Title not available (Why is that?)
- Objects: a study in Kantian formal epistemology
- Quotient completion for the foundation of constructive mathematics
- Realist consequence, epistemic inference, computational correctness
- On choice rules in dependent type theory
- A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE
- A cartesian closed category in Martin-Löf's intuitionistic type theory
- Some points in formal topology.
- A Comparison of Type Theory with Set Theory
- Title not available (Why is that?)
- Real and ideal in constructive mathematics
- The Zariski spectrum as a formal geometry
- Finiteness in a Minimalist Foundation
- Constructive domain theory as a branch of intuitionistic pointfree topology
- Title not available (Why is that?)
- Inductively generated formal topologies.
- Are subsets necessary in Martin-Löf type theory?
- Programming interfaces and basic topology
- Formal Zariski topology: Positivity and points
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames
- In the Search of a Naive Type Theory
- Equiconsistency of the minimalist foundation with its classical version
- Finitary formal topologies and Stone's representation theorem
- Title not available (Why is that?)
- Constructive metrisability in point-free topology.
- A minimalist foundation at work
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247310)