Licata, Daniel R.

1. Calculating the Fundamental Group of the Circle in Homotopy Type Theory
   2013/01/15 by Licata, Daniel R., Shulman, Michael · 3 citations
   #Algebraic Topology (math.AT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Programming Languages (cs.PL)
2. A Formal Logic for Formal Category Theory (Extended Version)
   2022/10/16 by New, Max S., Licata, Daniel R. · 1 citation
   #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)