Peter Dybjer

Artificial Intelligence · 2009–2016

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

Subfields

Whom Peter Dybjer trusts overall

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

  1. Ulf Norell
  2. S. Awodey
  3. Benno van den Berg

Who trusts Peter Dybjer overall

  1. John Harrison
  2. Leonardo de Moura
  3. Josef Urban
  4. Danfeng Zhang
  5. Freek Wiedijk
  6. Soonho Kong

Papers from Peter Dybjer's perspective

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

  1. Interactive Theorem Proving and Program Development (Texts in Theoretical Computer Science. An EATCS Series)
  2. Homotopy theoretic models of identity types (Mathematical Proceedings of the Cambridge Philosophical Society)
  3. Dependently typed programming in Agda (ACM SIGPLAN International Workshop on Types In Languages Design And Implementation)
  4. Formal Proof—The Four- Color Theorem
  5. Types are weak ω‐groupoids
  6. Foundations of Constructive Analysis
  7. Homotopy Theoretic Aspects of Constructive Type Theory
  8. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
  9. Character Theory of Finite Groups
  10. SOLVABILITY OF GROUPS OF ODD ORDER

Their papers