1 citations · 1 across the 9 of their papers we have counts for
1 paper · 2 filters
Joseph Helfer
We introduce a homotopy-theoretic interpretation of intuitionistic first-order logic based on ideas from Homotopy Type Theory. We provide a categorical formulation of this interpre…