vix.ing · top · new · best · stats · spec

Kolomatskaia, Astra

  1. Displayed Type Theory and Semi-Simplicial Types
    2023/11/30 by Astra Kolomatskaia, Kolomatskaia, Astra, Michael Shulman +1 · 1 citation
    Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)