|
4
|
An Application of Constructive Completeness.
– Thierry Coquand, Jan M. Smith
- 1995
|
|
20
|
How to Believe a Machine-Checked Proof
– Robert Pollack
- 1997
|
|
3
|
Forcing in Proof Theory
– Jeremy Avigad, Jeremy Avigad
|
|
6
|
A Topos for Algebraic Quantum Theory
– Chris Heunen, Nicolaas P. Landsman, Bas Spitters
- 2009
|
|
8
|
Constructive algebraic integration theory without choice. Dagstuhl proceedings
– Bas Spitters
- 2005
|
|
|
Coequalisers in formal topology
– Erik Palmgren, Erik Palmgren
- 2005
|
|
1
|
Quotient spaces and coequalisers in formal topology
– Erik Palmgren
|
|
9
|
A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals
– Jan Cederquist, Sara Negri
- 1996
|
|
9
|
Continuity on the real line and in formal spaces
– Erik Palmgren
- 2005
|
|
21
|
Type Theory and Programming
– Thierry Coquand , Bengt Nordström, Jan M. Smith, Björn von Sydow
- 1994
|
|
7
|
A mechanically verified, sound and complete theorem prover for first order logic
– Tom Ridge, James Margetson
- 2005
|
|
7
|
A Pointfree approach to Constructive Analysis in Type Theory
– Jan Cederquist
- 1997
|
|
1
|
Jeff Conklin jeff@cognexus.org CogNexus Institute http://cognexus.org Designing Organizational Memory Page 34 of 35
– Giovanni Sambin
- 1997
|
|
2
|
Some constructive roads to Tychonoff
– Steven Vickers
- 2005
|
|
3
|
Regular Universes and Formal Spaces
– Erik Palmgren
- 2002
|
|
6
|
Geometric and higher order logic in terms of abstract Stone duality
– Paul Taylor
- 2000
|
|
10
|
Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems
– Thierry Coquand, Bas Spitters
- 2005
|
|
|
Bohrification
– Chris Heunen, Bas Spitters, et al.
- 2010
|
|
|
LOCATEDNESS AND OVERT SUBLOCALES
– unknown authors
- 2009
|
