Minimal Invariant Spaces in Formal Topology (1996)

Cached

Download Links

by Thierry Coquand
Venue:The Journal of Symbolic Logic
Citations:4 - 1 self

Active Bibliography

7 A Pointfree approach to Constructive Analysis in Type Theory – Jan Cederquist - 1997
18 Entailment Relations and Distributive Lattices – Jan Cederquist, Thierry Coquand - 1998
3 A constructive topological proof of van der Waerden's theorem – Thierry Coquand - 1993
5 The metamathematics of ergodic theory – Jeremy Avigad - 2009
83 Infinite Objects in Type Theory – Thierry Coquand
Notions Invariant By Change Of Bases – Thierry Coquand - 2001
4 From intuitionistic to point-free topology: on the foundation of homotopy theory – Erik Palmgren - 2005
2 Galois Groupoids and Covering Morphisms in Topos Theory – Marta Bunge
3 Compact Spaces and Distributive Lattices – Thierry Coquand
1 Merging Probability and Possibility for Robot Localization – Claudio Sossai, Paolo Bison, Gaetano Chemello, Gaetano Trainito - 1999
2 Fusion of Symbolic Knowledge and Uncertain Information in Robotics – Claudio Sossai, Paolo Bison, Gaetano Chemello - 2001
2 Sequents, Frames, and Completeness – Thierry Coquand, Guo-qiang Zhang
4 An Application of Constructive Completeness. – Thierry Coquand, Jan M. Smith - 1995
2 Formal Topologies on the Set of First-Order Formulae – Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith - 1998
1 Convergence in formal topology: a unifying notion – Francesco Ciraulo, Maria Emilia Maietti, Giovanni Sambin - 2013
21 Local Possibilistic Logic – Luca Boldrin, Via Brennero, Claudio Sossai - 1997
26 How to Believe a Machine-Checked Proof – Robert Pollack - 1997
des systemes d'interaction Directeur de thèse: M. Thomas Ehrhard – Universite De La Mediterranee, U. F. R. De Mathematiques, Docteur De, Mm. Thierry Coquand Directeur, Rene David, Thomas Ehrhard Directeur, Laurent Regnier President
Introduction About Stone’s notion of Spectrum – Thierry Coquand