S. Awodey

Mathematical Proceedings of the Cambridge Philosophical Society · 2002–2014

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

Whom S. Awodey trusts overall

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

  1. M. Warren
  2. André Joyal
  3. Jacob Lurie

Who trusts S. Awodey overall

  1. Nicola Gambino
  2. Benno van den Berg
  3. Richard Garner
  4. Christian Sattler
  5. Andreas C. Döring
  6. Johannes Korbmacher
  7. Tom Leinster
  8. Stewart Shapiro
  9. Peter Dybjer
  10. Thierry Coquand

Papers from S. Awodey's perspective

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

  1. Quasi-categories and Kan complexes
  2. Higher Topos Theory
  3. Homotopy Theoretic Aspects of Constructive Type Theory
  4. Interactive Theorem Proving and Program Development (Texts in Theoretical Computer Science. An EATCS Series)
  5. A Decision Method for Elementary Algebra and Geometry
  6. Homotopy theoretic models of identity types (Mathematical Proceedings of the Cambridge Philosophical Society)
  7. Carnap, Completeness, And Categoricity:The Gabelbarkeitssatz OF 1928
  8. A model category structure on the category of simplicial categories
  9. GENERALIZED GROUP CHARACTERS AND COMPLEX ORIENTED COHOMOLOGY THEORIES
  10. The role of self-efficacy, goal, and affect in dynamic motivational self-regulation

Their papers