Glueing and orthogonality for models of linear logic
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. (C) 2002 Elsevier Science B.V. All rights reserved.
glueing orthogonality linear logic categorical models