Erik Palmgren

2014–2016

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

Who trusts Erik Palmgren overall

  1. John Harrison
  2. Leonardo de Moura

Papers from Erik Palmgren's perspective

Ordered by how strongly the researchers Erik Palmgren 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. Formal Proof—The Four- Color Theorem
  3. Types are weak ω‐groupoids
  4. Foundations of Constructive Analysis
  5. Homotopy Theoretic Aspects of Constructive Type Theory
  6. Interactive Theorem Proving and Program Development (Texts in Theoretical Computer Science. An EATCS Series)
  7. Quasi-categories and Kan complexes
  8. Higher Topos Theory
  9. The groupoid interpretation of type theory
  10. A survey of definitions of -category.

Their papers