Pitts, Andrew M.

1. An Equivalent Presentation of the Bezem-Coquand-Huber Category of Cubical Sets
   2014/01/30 by Andrew M. Pitts, Pitts, Andrew M. · 1 citation
   Mathematics · Computer Science · #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems #Advanced Algebra and Logic