Bifibrations of polycategories and classical linear logic

Nicolas Blanco
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.

Related