Abstract
We present the general theory of the method of glueing and associated technique of orthogonality for constructing categorical models of all the structure of linear logic: in particular we treat the exponentials in detail. We indicate simple applications of the methods and show that they cover familiar examples.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have