DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Univalent foundations
Univalent foundations
Sets in Homotopy Type Theory
Fomus: Foundations of Mathematics: Univalent Foundations and Set Theory - What Are Suitable Criteria for the Foundations of Mathematics?
Univalent Foundations
Constructivity in Homotopy Type Theory
Set-Theoretic Foundations
Higher Algebra in Homotopy Type Theory
An Introduction to Univalent Foundations for Mathematicians
Florida State University Libraries
Univalent Foundations of Mathematics
Or, Equivalence and Interpretation
Semi-Simplicial Types in Logic-Enriched Homotopy Type Theory
Univalent Foundations and the Unimath Library
Homotopy Type Theory and the Univalent Foundations of Mathematics
A New Foundational Crisis in Mathematics, Is It Really Happening?
A Brief Introduction to Type Theory and the Univalence Axiom
A New Foundational Crisis in Mathematics, Is It Really Happening? Mirna Džamonja
In Homotopy Type Theory
Homotopy Type Theory: a Synthetic Approach to Higher Equalities
Top View
Computer-Assisted Proofs and Mathematical Understanding the Case of Univalent Foundations
An Overview of Homotopy Type Theory and the Univalent Foundations of Mathematics Lawrence Dunn III
An Introduction to Univalent Foundations for Mathematicians
Univalent Foundations Project (A Modified Version of an NSF Grant Application)
Recent Progress in Homotopy Type Theory
Intuitionistic Type Theory
Univalent Foundations Mini-Course: Outline and References
Univalent Foundations As a Foundation for Mathematical Practice
A Restricted Version of Reflection Compatible with Univalent Homotopy Type Theory Théo Winterhalter
From Type Theory and Homotopy Theory to Univalent Foundations
Categorical Structures for Type Theory in Univalent Foundations
Formalizing Mathematics in the Univalent Foundations
A Model of Type Theory in Cubical Sets
A New Foundational Crisis in Mathematics, Is It Really Happening?
Homotopical Trinitarianism: a Perspective on Homotopy Type Theory
Set Theory and Structures
Homotopy Type Theory and Univalent Foundations
An Introduction to Univalent Foundations for Mathematicians 3 Logic3, and Sets Become a Special Case of Something More Fundamental, Types, Worthy of Independent Study
Homotopy Type Theory: Univalent Foundations of Mathematics
Sets in Homotopy Type Theory†
Homotopy Type Theory: Towards Grothendieck's Dream
Univalent Foundations
Models of Univalence in Cubical Sets an Introduction to the Proof of Univalence and a Review of Recent Literature
Univalent Foundations and the Equivalence Principle
Bicategories in Univalent Foundations
Univalent Foundations of Mathematics Talk by Vladimir Voevodsky September 5 , 2011
Univalent Foundations As Structuralist Foundations
Lecture 4: Univalent Foundations
Univalent Categories and the Rezk Completion
An Experimental Library of Formalized Mathematics Based on the Univalent Foundations
Univalent Foundations - New Type-Theoretic Foundations of Mathematics
Higher Structures in Homotopy Type Theory
Homotopy Type Theory and Voevodsky's Univalent Foundations
Analysis in Univalent Type Theory
Formal Topology in Univalent Foundations