Bio
Papers
Talks
News
Experience

Grothendieck Construction

Bifibrations of polycategories and classical linear logic

01 Oct 2020

© 2024 Me. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.