Similar Items: From Proof Nets to the Free *-Autonomous Category
- The syntactic side of autonomous categories enriched over generalised metric spaces
- Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version)
- Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix
- An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
- Reduction Free Normalisation for a proof irrelevant type of propositions
- Displayed Categories