Glueing and orthogonality for models of linear logic

Martin Hyland; Andrea Schalk

doi:10.1016/S0304-3975(01)00241-9

Glueing and orthogonality for models of linear logic

Research output: Contribution to journal › Article › peer-review

Abstract

The general theory of the method of glueing and associated technique of orthogonality for constructing categorical models of all the structure of linear logic was discussed. The exponentials of linear logic were explained and the general handling of this structure was demonstrated. Some central techniques for constructing categorical models were also presented.

Original language	English
Pages (from-to)	183-231
Number of pages	48
Journal	Theoretical Computer Science
Volume	294
Issue number	1-2
DOIs	https://doi.org/10.1016/S0304-3975(01)00241-9
Publication status	Published - 15 Feb 2003

Keywords

Categorical models
Glueing
Linear logic
Orthogonality

Access to Document

10.1016/S0304-3975(01)00241-9

Cite this

@article{75b4ea349c99436290e98183e617fd04,

title = "Glueing and orthogonality for models of linear logic",

abstract = "The general theory of the method of glueing and associated technique of orthogonality for constructing categorical models of all the structure of linear logic was discussed. The exponentials of linear logic were explained and the general handling of this structure was demonstrated. Some central techniques for constructing categorical models were also presented.",

keywords = "Categorical models, Glueing, Linear logic, Orthogonality",

author = "Martin Hyland and Andrea Schalk",

year = "2003",

month = feb,

day = "15",

doi = "10.1016/S0304-3975(01)00241-9",

language = "English",

volume = "294",

pages = "183--231",

journal = "Theoretical Computer Science",

publisher = "Elsevier BV",

number = "1-2",

}

TY - JOUR

T1 - Glueing and orthogonality for models of linear logic

AU - Hyland, Martin

AU - Schalk, Andrea

PY - 2003/2/15

Y1 - 2003/2/15

N2 - The general theory of the method of glueing and associated technique of orthogonality for constructing categorical models of all the structure of linear logic was discussed. The exponentials of linear logic were explained and the general handling of this structure was demonstrated. Some central techniques for constructing categorical models were also presented.

AB - The general theory of the method of glueing and associated technique of orthogonality for constructing categorical models of all the structure of linear logic was discussed. The exponentials of linear logic were explained and the general handling of this structure was demonstrated. Some central techniques for constructing categorical models were also presented.

KW - Categorical models

KW - Glueing

KW - Linear logic

KW - Orthogonality

U2 - 10.1016/S0304-3975(01)00241-9

DO - 10.1016/S0304-3975(01)00241-9

M3 - Article

VL - 294

SP - 183

EP - 231

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1-2

ER -

Glueing and orthogonality for models of linear logic

Abstract

Keywords

Access to Document

Fingerprint

Cite this