Classical linear logic via bifibrations of polycategories

Nicolas Blanco

Doctorant en Informatique Théorique

Mon domaine de recherche se trouve à la frontière entre Informatique, Mathématiques et Physique. Mes outils préférés sont la Logique et la Théorie des Catégories.