MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Thierry Coquand" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 59 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Tiling Rectangles  
  • by Thierry Coquand — 2000
  • …Introduction We present a general theorem about tiling rectangles, one corollary being the theorem that, whenever a rectangle is tiled by rectangles each of which has at least one integral side, then the tiled rectangle has at least one integral side. This may be one sixteenth proof for this theore…
  • Add To MetaCart
  • On Seminormality  
  • by Thierry Coquand — J. Algebra
  • …On seminormality Thierry Coquand February 6, 2006 We give an elementary and essentially self…
  • Cited by 2 (0 self) – Add To MetaCart
  • A New Paradox in Type Theory  
  • by Thierry Coquand — 1994 — Logic, Methodology and Philosophy of Science IX : Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science
  • …A New Paradox in Type Theory Thierry Coquand Department of Computer Science, University…
  • Cited by 3 (0 self) – Add To MetaCart
  • Constructive Topology and Combinatorics  
  • by Thierry Coquand — 1991 — In proceeding of the conference Constructivity in Computer Science, San Antonio, LNCS 613
  • …CONSTRUCTIVE TOPOLOGY AND COMBINATORICS Thierry Coquand Abstract. We present a method to extract…
  • Cited by 16 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB