|
7
|
A Pointfree approach to Constructive Analysis in Type Theory
– Jan Cederquist
- 1997
|
|
16
|
Entailment Relations and Distributive Lattices
– Jan Cederquist, Thierry Coquand
- 1998
|
|
3
|
A constructive topological proof of van der Waerden's theorem
– Thierry Coquand
- 1993
|
|
65
|
Infinite Objects in Type Theory
– Thierry Coquand
|
|
1
|
Galois Groupoids and Covering Morphisms in Topos Theory
– Marta Bunge
|
|
|
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
|
Compact Spaces and Distributive Lattices
– Thierry Coquand
|
|
20
|
Local Possibilistic Logic
– Luca Boldrin, Via Brennero, Claudio Sossai
- 1997
|
|
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
|
|
1
|
Formal Topologies on the Set of First-Order Formulae
– Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith
- 1998
|
|
2
|
Sequents, Frames, and Completeness
– Thierry Coquand, Guo-qiang Zhang
|
|
4
|
An Application of Constructive Completeness.
– Thierry Coquand, Jan M. Smith
- 1995
|
|
20
|
How to Believe a Machine-Checked Proof
– Robert Pollack
- 1997
|
|
|
Hilbert and Set Theory
– Burton Dreben , Akihiro Kanamori
- 1997
|
|
1
|
Computing Presuppositions and Implicatures in Mathematical Discourse
– Claus Zinn
|
|
2
|
Hilbert’s Program Then and Now
– Richard Zach
- 2005
|
|
1
|
A short survey of automated reasoning
– John Harrison
|
