3 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Davide Trotta, Jonathan Weinberger, Valeria de Paiva
Grothendieck fibrations are fundamental in capturing the concept of dependency, notably in categorical semantics of type theory and programming languages. A relevant instance are D…