Bifibrations of polycategories and classical linear logic

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.