Benedikt Ahrens

Artificial Intelligence · 5 papers · 2011–2016

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

Subfields

Whom Benedikt Ahrens trusts overall

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

  1. André Hirschowitz
  2. Richard S. Bird
  3. Marcelo P. Fiore
  4. Marco Maggesi
  5. Ralph Matthes
  6. Vladimir Voevodsky
  7. Ross A. Paterson
  8. Thorsten Altenkirch
  9. Tarmo Uustalu
  10. Marino Miculan

Who trusts Benedikt Ahrens overall

  1. Thorsten Altenkirch
  2. Michael Gygli
  3. James Chapman
  4. Alexander L. Gaunt
  5. Tarmo Uustalu
  6. Sercan Ö. Arik
  7. Mohammad Norouzi
  8. Marc Brockschmidt
  9. Benedikt Ahrens
  10. Emily Riehl

Papers from Benedikt Ahrens's perspective

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

  1. Generalised folds for nested datatypes
  2. Second-Order and Dependently-Sorted Abstract Syntax
  3. de Bruijn notation as a nested datatype
  4. THE SIMPLICIAL MODEL OF UNIVALENT FOUNDATIONS
  5. Homotopy theoretic models of identity types (Mathematical Proceedings of the Cambridge Philosophical Society)
  6. On the Unicity of the Homotopy Theory of Higher Categories
  7. A Survey of (∞, 1)-Categories
  8. Isomorphism is equality
  9. Extended Initiality for Typed Abstract Syntax
  10. Categories for the Working Mathematician

Their papers