@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},
)