59 citations · 140 across the 11 of their papers we have counts for
1 paper · 2 filters
Andre Joyal
The purpose of these notes is to give a categorical presentation/analysis of homotopy type theory. The notes are incomplete as they stand (October 2017). The chapter on univalent t…