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

Champin, Camil

  1. Delooping presented groups in homotopy type theory
    2024/05/06 by Champin, Camil, Mimram, Samuel, Oleon, Emile · 1 citation
    #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)