2 citations · 2 across the 4 of their papers we have counts for
1 paper · 2 filters
Steve Awodey
A new algebraic treatment of dependent type theory is proposed using ideas derived from topos theory and algebraic set theory.