Glueing and orthogonality for models of linear logic Export

@misc{citeulike:451538, 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. 1}, author = {Hyland, M. and Schalk, A.}, citeulike-article-id = {451538}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.1543}, keywords = {categorical, linear, logic}, posted-at = {2005-12-27 21:45:54}, priority = {0}, title = {Glueing and orthogonality for models of linear logic}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.1543} }

TY - GEN ID - citeulike:451538 L3 - citeulike-article-id:451538 N2 - 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. 1 TI - Glueing and orthogonality for models of linear logic KW - categorical KW - linear KW - logic AU - Hyland, M AU - Schalk, A UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.1543 ER -