Grothendieck construction
Présentation de la théorie des polycatégories bifibrées et de leur lien avec la logique linéaire (en anglais)
*Ceci est un article présenté à la conférence MFPS 2020. Il a aussi donné lieu à une présentation principale à la conférence ACT 2020. Cette page contient une (future) version étendue de l'article, ainsi que la version publiée dans le compte-rendu de …