scientific article; zbMATH DE number 1302065
From MaRDI portal
Publication:4247310
zbMath0930.03091MaRDI QIDQ4247310
Giovanni Sambin, Silvio Valentini
Publication date: 15 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (19)
Constructive domain theory as a branch of intuitionistic pointfree topology ⋮ A Minimalist Foundation at Work ⋮ Quotient completion for the foundation of constructive mathematics ⋮ Finiteness in a Minimalist Foundation ⋮ Realist Consequence, Epistemic Inference, Computational Correctness ⋮ A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE ⋮ Inductively generated formal topologies. ⋮ Constructive metrisability in point-free topology. ⋮ Some points in formal topology. ⋮ On Choice Rules in Dependent Type Theory ⋮ Finitary formal topologies and Stone's representation theorem ⋮ The Zariski spectrum as a formal geometry ⋮ Objects: a study in Kantian formal epistemology ⋮ The problem of the formalization of constructive topology ⋮ A minimalist two-level foundation for constructive mathematics ⋮ Pretopologies and a uniform presentation of sup-lattices, quantales and frames ⋮ Programming interfaces and basic topology ⋮ Formal Zariski topology: Positivity and points ⋮ A cartesian closed category in Martin-Löf's intuitionistic type theory
This page was built for publication:
