Grothendieck construction

Bifibrations of polycategories and classical linear logic

Présentation de la théorie des polycatégories bifibrées et de leur lien avec la logique linéaire (en anglais)

Bifibrations of polycategories and classical linear logic

*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 …