Paolo Capriotti

1. Non-Wellfounded Trees in Homotopy Type Theory
   2015/01/01 by Benedikt Ahrens, Paolo Capriotti, Régis Spadotti · 2 voices
   Computer Science · Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #cs.LO #math.CT
2. Models of Type Theory with Strict Equality
   2017/02/16 by Paolo Capriotti, Capriotti, Paolo · 2 citations
   Mathematics · #Advanced Topics in Algebra #FOS: Computer and information sciences #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO)