3 problems

A semi star-autonomous category is the categorical structure defined in the paper, and a proof-net category is the unitless linearly distributive category with suitable duals defin…

A model of second-order multiplicative linear logic is injective with respect to existential linkings when distinct existential linkings are mapped to distinct elements by the mode…

Retractability characterisation. A circuit is the translation of a proof if and only if it is retractable with respect to Maieli's $R_1,\ldots,R_4$ (dropping $R_5$).