18 citations · 20 across the 3 of their papers we have counts for
1 paper · 2 filters
Steve Awodey
The notion of a natural model of type theory is defined in terms of that of a representable natural transfomation of presheaves. It is shown that such models agree exactly with the…