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…