@article(AHS02,
 author       = {S. Abramsky and E. Haghverdi and P.J. Scott},
 year         = {2002},
 title        = {Geometry of interaction and linear combinatory algebras},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {12},
 number       = {5},
 pages        = {625--665},
 doi          = {10.1017/S0960129502003730},
)
@inproceedings(BGHP98,
 author       = {A. Barber and P. Gardner and M. Hasegawa and G. Plotkin},
 year         = {1998},
 title        = {From action calculi to linear logic},
 booktitle    = {Computer Science Logic (CSL'97), Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {1414},
 publisher    = {Springer-Verlag},
 pages        = {78--97},
 doi          = {10.1007/BFb0028008},
)
@unpublished(BP97,
 author       = {A. Barber and G.D. Plotkin},
 year         = {1997},
 title        = {Dual intuitionistic linear logic},
 note         = {Unpublished draft. An early version appeared as a technical report ECS-LFCS-96-347, LFCS, University of Edinburgh.},
)
@book(Bar79,
 author       = {M. Barr},
 year         = {1979},
 title        = {$*$-Autonomous Categories},
 series       = {Lecture Notes in Mathematics},
 volume       = {752},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/BFb0064582},
)
@inproceedings(Bie95,
 author       = {G.M. Bierman},
 year         = {1995},
 title        = {What is a categorical model of intuitionistic linear logic?},
 booktitle    = {Proceedings of TLCA'95},
 series       = {Lecture Notes in Computer Science},
 volume       = {902},
 publisher    = {Springer-Verlag},
 pages        = {78--93},
 doi          = {10.1007/BFb0014046},
)
@inproceedings(GH97,
 author       = {P. Gardner and M. Hasegawa},
 year         = {1997},
 title        = {Types and models for higher-order action calculi},
 booktitle    = {Proceedings of TACS'97},
 series       = {Lecture Notes in Computer Science},
 volume       = {1281},
 publisher    = {Springer-Verlag},
 pages        = {583--603},
 doi          = {10.1007/BFb0014569},
)
@article(Gir87,
 author       = {J.-Y. Girard},
 year         = {1987},
 title        = {Linear logic},
 journal      = {Theoretical Computer Science},
 volume       = {50},
 pages        = {1--102},
 doi          = {10.1016/0304-3975(87)90045-4},
)
@inproceedings(Gir89,
 author       = {J.-Y. Girard},
 year         = {1989},
 title        = {Towards a geometry of interaction},
 booktitle    = {Categories in Computer Science and Logic},
 series       = {Contemporary Mathematics},
 volume       = {92},
 publisher    = {AMS},
 pages        = {69--108},
 doi          = {10.1090/conm/092/1003197},
)
@inproceedings(Has97a,
 author       = {M. Hasegawa},
 year         = {1997},
 title        = {Recursion from cyclic sharing: traced monoidal categories and models of cyclic lambda calculi},
 booktitle    = {Proceedings of TLCA'97},
 series       = {Lecture Notes in Computer Science},
 volume       = {1210},
 publisher    = {Springer-Verlag},
 pages        = {196--213},
 doi          = {10.1007/3-540-62688-3_37},
)
@unpublished(Has99,
 author       = {M. Hasegawa},
 year         = {1999},
 title        = {Categorical glueing and logical predicates for models of linear logic},
 url          = {http://www.kurims.kyoto-u.ac.jp/~hassei/papers/full.pdf},
 note         = {Preprint RIMS-1223},
)
@book(Has97,
 author       = {M. Hasegawa},
 year         = {1999},
 title        = {Models of Sharing Graphs: A Categorical Semantics of let and letrec},
 series       = {Distingushed Dissertations Series},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/978-1-4471-0865-8},
 note         = {Also available as PhD thesis ECS-LFCS-97-360, LFCS, University of Edinburgh},
)
@article(Has05,
 author       = {M. Hasegawa},
 year         = {2005},
 title        = {Classical linear logic of implications},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {15},
 number       = {2},
 pages        = {323--342},
 doi          = {10.1017/S0960129504004621},
)
@article(Has09,
 author       = {M. Hasegawa},
 year         = {2009},
 title        = {On traced monoidal closed categories},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {19},
 number       = {2},
 pages        = {217--244},
 doi          = {10.1017/S0960129508007184},
)
@article(HS03,
 author       = {J.M.E. Hyland and A. Schalk},
 year         = {2003},
 title        = {Glueing and orthogonality for models of linear logic},
 journal      = {Theoretical Computer Science},
 volume       = {294},
 number       = {1-2},
 pages        = {183--231},
 doi          = {10.1016/S0304-3975(01)00241-9},
)
@article(JSV96,
 author       = {A. Joyal and R. Street and D. Verity},
 year         = {1996},
 title        = {Traced monoidal categories},
 journal      = {Mathematical Proceedings of the Cambridge Philosophical Society},
 volume       = {119},
 number       = {3},
 pages        = {447--468},
 doi          = {10.1017/S0305004100074338},
)
@article(KM71,
 author       = {G.M. Kelly and S. Mac Lane},
 year         = {1971},
 title        = {Coherence in closed categories},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {1},
 number       = {1},
 pages        = {97--140},
 doi          = {10.1016/0022-4049(71)90013-2},
)
@inproceedings(Lai05,
 author       = {J. Laird},
 year         = {2005},
 title        = {A game semantics of the asynchronous $\pi$-calculus},
 booktitle    = {Proceedings of {CONCUR} 2005},
 series       = {Lecture Notes in Computer Science},
 volume       = {3653},
 publisher    = {Springer},
 pages        = {51--65},
 doi          = {10.1007/11539452_8},
)
@inproceedings(Mel09,
 author       = {P.-A. Melli\`es},
 year         = {2009},
 title        = {Categorical semantics of linear logic},
 booktitle    = {Interactive Models of Computation and Program Behavior},
 series       = {Panoramas et Synth\`eses},
 volume       = {27},
 publisher    = {Soci\'et\'e Math\'ematique de France},
 pages        = {1--196},
)
@article(MT09,
 author       = {P.-A. Melli\`es and N. Tabareau},
 year         = {2010},
 title        = {Resource modalities in tensor logic},
 journal      = {Annals in Pure and Applied Logic},
 volume       = {161},
 number       = {5},
 pages        = {632--653},
 doi          = {10.1016/j.apal.2009.07.018},
)
@article(Mil96,
 author       = {R. Milner},
 year         = {1996},
 title        = {Calculi for interaction},
 journal      = {Acta Inf.},
 volume       = {33},
 number       = {8},
 pages        = {707--737},
 doi          = {10.1007/BF03036472},
)
@inproceedings(Mog89,
 author       = {E. Moggi},
 year         = {1989},
 title        = {Computational lambda-calculus and monads},
 booktitle    = {Proceedings of LICS'89},
 publisher    = {IEEE Computer Society},
 pages        = {14--23},
 doi          = {10.1109/LICS.1989.39155},
)
@inproceedings(PT99,
 author       = {J. Power and H. Thielecke},
 year         = {1999},
 title        = {Closed Freyd- and kappa-categories},
 booktitle    = {Proceedings of ICALP'99},
 series       = {Lecture Notes in Computer Science},
 volume       = {1644},
 publisher    = {Springer-Verlag},
 pages        = {625--634},
 doi          = {10.1007/3-540-48523-6_59},
)
@inproceedings(ST17,
 author       = {K. Sakayori and T.Tsukada},
 year         = {2017},
 title        = {A truly concurrent game model of the asynchronous $\pi$-calculus},
 booktitle    = {Proceedings of FOSSACS 2017},
 series       = {Lecture Notes in Computer Science},
 volume       = {10203},
 publisher    = {Springer-Verlag},
 pages        = {389--406},
 doi          = {10.1007/978-3-662-54458-7_23},
)
@article(Sch14,
 author       = {U. Sch{\"{o}}pp},
 year         = {2014},
 title        = {On the relation of interaction semantics to continuations and defunctionalization},
 journal      = {Logical Methods in Computer Science},
 volume       = {10},
 number       = {4},
 doi          = {10.2168/LMCS-10(4:10)2014},
)
@inproceedings(See89,
 author       = {R.A.G. Seely},
 year         = {1989},
 title        = {Linear logic, $*$-autonomous categories and cofree coalgebras},
 booktitle    = {Categories in Computer Science and Logic},
 series       = {Contemporary Mathematics},
 volume       = {92},
 publisher    = {AMS},
 pages        = {371--389},
 doi          = {10.1090/conm/092/1003210},
)
@article(SR98,
 author       = {T. Streicher and B. Reus},
 year         = {1998},
 title        = {Classical logic, continuation semantics and abstract machines},
 journal      = {Journal of Functional Programming},
 volume       = {8},
 number       = {6},
 pages        = {543--572},
 doi          = {10.1017/S0956796898003141},
)