Benno van den Berg

2008

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

Whom Benno van den Berg trusts overall

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

  1. S. Awodey
  2. Tom Leinster
  3. M. Warren
  4. A. Grothendieck

Who trusts Benno van den Berg overall

  1. Nicola Gambino
  2. Emily Riehl
  3. Peter Dybjer

Papers from Benno van den Berg's perspective

Ordered by how strongly the researchers Benno van den Berg trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Homotopy Theoretic Aspects of Constructive Type Theory
  2. Homotopy theoretic models of identity types (Mathematical Proceedings of the Cambridge Philosophical Society)
  3. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (Elements of ∞-Category Theory)
  4. The groupoid interpretation of type theory
  5. A survey of definitions of -category.
  6. Pursuing Stacks
  7. Quasi-categories and Kan complexes
  8. Higher Topos Theory
  9. Interactive Theorem Proving and Program Development (Texts in Theoretical Computer Science. An EATCS Series)
  10. The formal theory of monads II

Their papers