Classical linear logic via bifibrations of polycategories

Nicolas Blanco

PhD student in Theoretical Computer Science

My research interests lie in the interaction between Computer Science, Mathematics and Physics. My favorite tools are Logic and Category Theory.