Glueing and Orthogonality for Models of Linear Logic (2003)
by
Martin Hyland
,
Andrea Schalk
| Venue: | Theoretical Computer Science |
| Citations: | 28 - 6 self |
BibTeX
@ARTICLE{Hyland03glueingand,
author = {Martin Hyland and Andrea Schalk},
title = {Glueing and Orthogonality for Models of Linear Logic},
journal = {Theoretical Computer Science},
year = {2003},
pages = {183--231}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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
Citations
| 197 | Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1994 |
| 65 | Full abstraction for PCF (extended abstract - Abramsky, Jagadeesan, et al. - 1994 |
| 43 | Semantics of Interaction: an introduction to Game Semantics - Abramsky - 1997 |
| 2 | Games and full abstraction for PCF. Information and Computation - Abramsky, Jagadeesan, et al. |
| 1 | Process realizability. Available at the following url: http://web.comlab.ox.ac.uk/oucl/work/samson.abramsky/pr209.ps.gz - Abramsky |
