Publications

(2020). Bifibrations of polycategories and classical linear logic. MFPS2020 In ENTCS.