1 paper · 1 filter
Greta Coraglia, Jacopo Emmenegger
Most categorical models for dependent types have traditionally been heavily set based: contexts form a category, and for each we have a set of types in said context -- and for each…