The Univalent Foundations Program

Artificial Intelligence · 2013

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

Subfields

• Artificial Intelligence — 6 citations into it
• Geometry and Topology — 6 citations into it
• Mathematical Physics — 6 citations into it

Whom The Univalent Foundations Program trusts overall

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

1. M. Warren
2. Julia E. Bergner
3. Bart P. F. Jacobs
4. Benjamin C. Pierce

Who trusts The Univalent Foundations Program overall

1. Vladimir Voevodsky
2. Leonardo de Moura
3. Soonho Kong
4. Peter LeFanu Lumsdaine
5. Jeremy Avigad
6. Denis-Charles Cisinski

Papers from The Univalent Foundations Program's perspective

Ordered by how strongly the researchers The Univalent Foundations Program trusts endorse each paper. Same corpus, a different order for every researcher.

1. Higher Topos Theory
2. Quasi-categories and Kan complexes
3. Homotopy Theoretic Aspects of Constructive Type Theory
4. Interactive Theorem Proving and Program Development (Texts in Theoretical Computer Science. An EATCS Series)
5. Homotopy theoretic models of identity types (Mathematical Proceedings of the Cambridge Philosophical Society)
6. A Survey of (∞, 1)-Categories
7. On the Unicity of the Homotopy Theory of Higher Categories
8. Model categories and their localizations
9. THE SIMPLICIAL MODEL OF UNIVALENT FOUNDATIONS
10. A note on K-theory and triangulated categories

Their papers

• Homotopy Type Theory: Univalent Foundations of Mathematics (2013) — 502 citations