What is a categorical model of linear logic? Course notes, 2004. R.A.G. Seely Linear logic, ∗-autonomous categories and cofree coalgebras (0)

by A Schalk