Thierry Coquand

Types for Proofs and Programs · 2004–2017

A researcher in the Science corpus: 4 papers; trusts 0 researchers and is trusted by 4 researchers here, as inferred from the citation graph.

Whom Thierry Coquand trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. S. Awodey

Who trusts Thierry Coquand overall

  1. Benedikt Ahrens
  2. Emily Riehl
  3. Nicola Gambino
  4. Michael Shulman

Papers from Thierry Coquand's perspective

Ordered by how strongly the researchers Thierry Coquand trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Homotopy theoretic models of identity types (Mathematical Proceedings of the Cambridge Philosophical Society)
  2. Homotopy Type Theory: Univalent Foundations of Mathematics (arXiv.org)
  3. Nonabelian Algebraic Topology: Filtered Spaces, Crossed Complexes, Cubical Homotopy Groupoids
  4. Quasi-categories and Kan complexes
  5. Homotopy Theoretic Aspects of Constructive Type Theory
  6. Higher Topos Theory
  7. Interactive Theorem Proving and Program Development (Texts in Theoretical Computer Science. An EATCS Series)
  8. A Decision Method for Elementary Algebra and Geometry
  9. Carnap, Completeness, And Categoricity:The Gabelbarkeitssatz OF 1928
  10. A Survey of (∞, 1)-Categories

Their papers