17 citations · 26 across the 5 of their papers we have counts for
1 paper · 1 filter
Pierre Clairambault, Peter Dybjer
Seely's paper "Locally cartesian closed categories and type theory" contains a well-known result in categorical type theory: that the category of locally cartesian closed categorie…