18 citations · 20 across the 3 of their papers we have counts for
1 paper · 1 filter
Steve Awodey
We have another look at the construction by Hofmann and Streicher of a universe (U,El) for the interpretation of Martin-Löf type theory in a presheaf category $\psh{\C…