@article(DBLP:journals/jfp/AbadiCCL91,
 author       = {Mart{\'{\i}}n Abadi and Luca Cardelli and Pierre{-}Louis Curien and Jean{-}Jacques L{\'{e}}vy},
 year         = {1991},
 title        = {Explicit Substitutions},
 journal      = {J. Funct. Program.},
 volume       = {1},
 number       = {4},
 pages        = {375--416},
 doi          = {10.1017/S0956796800000186},
)
@article(DBLP:journals/tcs/Accattoli15,
 author       = {Beniamino Accattoli},
 year         = {2015},
 title        = {Proof nets and the call-by-value {$\lambda$}-calculus},
 journal      = {Theor. Comput. Sci.},
 volume       = {606},
 pages        = {2--24},
 doi          = {10.1016/j.tcs.2015.08.006},
)
@inproceedings(DBLP:conf/ictac/Accattoli18,
 author       = {Beniamino Accattoli},
 year         = {2018},
 title        = {Proof Nets and the Linear Substitution Calculus},
 editor       = {Bernd Fischer and Tarmo Uustalu},
 booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {11187},
 publisher    = {Springer},
 pages        = {37--61},
 doi          = {10.1007/978-3-030-02508-3\_3},
)
@inproceedings(DBLP:conf/popl/AccattoliBKL14,
 author       = {Beniamino Accattoli and Eduardo Bonelli and Delia Kesner and Carlos Lombardi},
 year         = {2014},
 title        = {A nonstandard standardization theorem},
 editor       = {Suresh Jagannathan and Peter Sewell},
 booktitle    = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014},
 publisher    = {{ACM}},
 pages        = {659--670},
 doi          = {10.1145/2535838.2535886},
)
@inproceedings(DBLP:conf/lics/BonchiPSZ19,
 author       = {Filippo Bonchi and Robin Piedeleu and Pawel Sobocinski and Fabio Zanasi},
 year         = {2019},
 title        = {Graphical Affine Algebra},
 booktitle    = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019},
 publisher    = {{IEEE}},
 pages        = {1--12},
 doi          = {10.1109/LICS.2019.8785877},
)
@inproceedings(DBLP:conf/popl/BonchiSZ15,
 author       = {Filippo Bonchi and Pawel Sobocinski and Fabio Zanasi},
 year         = {2015},
 title        = {Full Abstraction for Signal Flow Graphs},
 editor       = {Sriram K. Rajamani and David Walker},
 booktitle    = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015},
 publisher    = {{ACM}},
 pages        = {515--526},
 doi          = {10.1145/2676726.2676993},
)
@inproceedings(DBLP:conf/irep/ClickP95,
 author       = {Cliff Click and Michael Paleczny},
 year         = {1995},
 title        = {A Simple Graph-Based Intermediate Representation},
 editor       = {Michael D. Ernst},
 booktitle    = {Proceedings {ACM} {SIGPLAN} Workshop on Intermediate Representations (IR'95), San Francisco, CA, USA, January 22, 1995},
 publisher    = {{ACM}},
 pages        = {35--49},
 doi          = {10.1145/202529.202534},
)
@book(coecke_kissinger_2017,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2017},
 title        = {Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@article(DBLP:journals/tcs/DanvyMMZ12,
 author       = {Olivier Danvy and Kevin Millikin and Johan Munk and Ian Zerny},
 year         = {2012},
 title        = {On inter-deriving small-step and big-step semantics: {A} case study for storeless call-by-need evaluation},
 journal      = {Theor. Comput. Sci.},
 volume       = {435},
 pages        = {21--42},
 doi          = {10.1016/j.tcs.2012.02.023},
)
@inproceedings(DBLP:conf/csl/GhicaJL17,
 author       = {Dan R. Ghica and Achim Jung and Aliaume Lopez},
 year         = {2017},
 title        = {Diagrammatic Semantics for Digital Circuits},
 editor       = {Valentin Goranko and Mads Dam},
 booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017, August 20-24, 2017, Stockholm, Sweden},
 series       = {LIPIcs},
 volume       = {82},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {24:1--24:16},
 doi          = {10.4230/LIPIcs.CSL.2017.24},
)
@article(DBLP:journals/corr/abs-1907-01257,
 author       = {Dan R. Ghica and Koko Muroya and Todd Waugh Ambridge},
 year         = {2019},
 title        = {Local Reasoning for Robust Observational Equivalence},
 journal      = {CoRR},
 volume       = {abs/1907.01257},
 url          = {http://arxiv.org/abs/1907.01257},
)
@inproceedings(DBLP:journals/entcs/GhicaT12,
 author       = {Dan R. Ghica and Nikos Tzevelekos},
 year         = {2012},
 title        = {A System-Level Game Semantics},
 editor       = {Ulrich Berger and Michael W. Mislove},
 booktitle    = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012},
 series       = {Electronic Notes in Theoretical Computer Science},
 volume       = {286},
 publisher    = {Elsevier},
 pages        = {191--211},
 doi          = {10.1016/j.entcs.2012.08.013},
)
@article(DBLP:journals/tcs/Girard87,
 author       = {Jean{-}Yves Girard},
 year         = {1987},
 title        = {Linear Logic},
 journal      = {Theor. Comput. Sci.},
 volume       = {50},
 pages        = {1--102},
 doi          = {10.1016/0304-3975(87)90045-4},
)
@article(DBLP:journals/tcs/GuerriniMM01,
 author       = {Stefano Guerrini and Simone Martini and Andrea Masini},
 year         = {2001},
 title        = {Proof nets, garbage, and computations},
 journal      = {Theor. Comput. Sci.},
 volume       = {253},
 number       = {2},
 pages        = {185--237},
 doi          = {10.1016/S0304-3975(00)00094-3},
)
@inproceedings(DBLP:conf/tlca/Hasegawa97,
 author       = {Masahito Hasegawa},
 year         = {1997},
 title        = {Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi},
 editor       = {Philippe de Groote},
 booktitle    = {Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, {TLCA} '97, Nancy, France, April 2-4, 1997, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1210},
 publisher    = {Springer},
 pages        = {196--213},
 doi          = {10.1007/3-540-62688-3\_37},
)
@inproceedings(DBLP:conf/csl/HoshinoMH14,
 author       = {Naohiko Hoshino and Koko Muroya and Ichiro Hasuo},
 year         = {2014},
 title        = {Memoryful geometry of interaction: from coalgebraic components to algebraic effects},
 editor       = {Thomas A. Henzinger and Dale Miller},
 booktitle    = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria, July 14 - 18, 2014},
 publisher    = {{ACM}},
 pages        = {52:1--52:10},
 doi          = {10.1145/2603088.2603124},
)
@inproceedings(DBLP:conf/fpca/JonesS89,
 author       = {Simon L. Peyton Jones and Jon Salkild},
 year         = {1989},
 title        = {The Spineless Tagless G-Machine},
 editor       = {Joseph E. Stoy},
 booktitle    = {Proceedings of the fourth international conference on Functional programming languages and computer architecture, {FPCA} 1989, London, UK, September 11-13, 1989},
 publisher    = {{ACM}},
 pages        = {184--201},
 doi          = {10.1145/99370.99385},
)
@inproceedings(DBLP:conf/popl/Lafont90,
 author       = {Yves Lafont},
 year         = {1990},
 title        = {Interaction Nets},
 editor       = {Frances E. Allen},
 booktitle    = {Conference Record of the Seventeenth Annual {ACM} Symposium on Principles of Programming Languages, San Francisco, California, USA, January 1990},
 publisher    = {{ACM} Press},
 pages        = {95--108},
 doi          = {10.1145/96709.96718},
)
@techreport(leroy:inria-00070049,
 author       = {Xavier Leroy},
 year         = {1990},
 title        = {{The ZINC experiment : an economical implementation of the ML language}},
 type         = {Technical Report},
 number       = {RT-0117},
 institution  = {{INRIA}},
 url          = {https://hal.inria.fr/inria-00070049},
)
@article(DBLP:journals/entcs/Milner08,
 author       = {Robin Milner},
 year         = {2008},
 title        = {Bigraphs and Their Algebra},
 journal      = {Electron. Notes Theor. Comput. Sci.},
 volume       = {209},
 pages        = {5--19},
 doi          = {10.1016/j.entcs.2008.04.002},
)
@phdthesis(koko,
 author       = {Koko Muroya},
 year         = {2020},
 title        = {Hypernet Semantics of Programming Languages},
 school       = {University of Birmingham},
 url          = {http://www.kurims.kyoto-u.ac.jp/~kmuroya/papers/phdthesis.pdf},
)
@article(DBLP:journals/lmcs/MuroyaG19,
 author       = {Koko Muroya and Dan R. Ghica},
 year         = {2019},
 title        = {The Dynamic Geometry of Interaction Machine: {A} Token-Guided Graph Rewriter},
 journal      = {Log. Methods Comput. Sci.},
 volume       = {15},
 number       = {4},
 url          = {https://lmcs.episciences.org/5882},
)
@inproceedings(DBLP:conf/popl/MuroyaHH16,
 author       = {Koko Muroya and Naohiko Hoshino and Ichiro Hasuo},
 year         = {2016},
 title        = {Memoryful geometry of interaction {II:} recursion and adequacy},
 editor       = {Bod{\'{\i}}k, Rastislav and Rupak Majumdar},
 booktitle    = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2016, St. Petersburg, FL, USA, January 20 - 22, 2016},
 publisher    = {{ACM}},
 pages        = {748--760},
 doi          = {10.1145/2837614.2837672},
)
@inproceedings(DBLP:conf/lics/Pitts96,
 author       = {Andrew M. Pitts},
 year         = {1996},
 title        = {Reasoning about Local Variables with Operationally-Based Logical Relations},
 booktitle    = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996},
 publisher    = {{IEEE} Computer Society},
 pages        = {152--163},
 doi          = {10.1109/LICS.1996.561314},
)
@inproceedings(DBLP:conf/ac/Pitts00,
 author       = {Andrew M. Pitts},
 year         = {2000},
 title        = {Operational Semantics and Program Equivalence},
 editor       = {Gilles Barthe and Peter Dybjer and Lu{\'{\i}}s Pinto and Jo{\~{a}}o Saraiva},
 booktitle    = {Applied Semantics, International Summer School, {APPSEM} 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures},
 series       = {Lecture Notes in Computer Science},
 volume       = {2395},
 publisher    = {Springer},
 pages        = {378--412},
 doi          = {10.1007/3-540-45699-6\_8},
)
@book(pitts_2013,
 author       = {Andrew M. Pitts},
 year         = {2013},
 title        = {Nominal Sets: Names and Symmetry in Computer Science},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139084673},
)
@article(DBLP:journals/jlp/Plotkin04a,
 author       = {Gordon D. Plotkin},
 year         = {2004},
 title        = {A structural approach to operational semantics},
 journal      = {J. Log. Algebraic Methods Program.},
 volume       = {60-61},
 pages        = {17--139},
 doi          = {10.1016/j.jlap.2004.05.001},
)
@inproceedings(DBLP:journals/entcs/SchweimeierJ99,
 author       = {Ralf Schweimeier and Alan Jeffrey},
 year         = {1999},
 title        = {A Categorical and Graphical Treatment of Closure Conversion},
 editor       = {Stephen D. Brookes and Achim Jung and Michael W. Mislove and Andre Scedrov},
 booktitle    = {Fifteenth Conference on Mathematical Foundations of Progamming Semantics, {MFPS} 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999},
 series       = {Electronic Notes in Theoretical Computer Science},
 volume       = {20},
 publisher    = {Elsevier},
 pages        = {481--511},
 doi          = {10.1016/S1571-0661(04)80090-2},
)
@inproceedings(DBLP:journals/corr/SculthorpeTM16,
 author       = {Neil Sculthorpe and Paolo Torrini and Peter D. Mosses},
 year         = {2015},
 title        = {A Modular Structural Operational Semantics for Delimited Continuations},
 editor       = {Olivier Danvy and Ugo de'Liguoro},
 booktitle    = {Proceedings of the Workshop on Continuations, WoC 2016, London, UK, April 12th 2015},
 series       = {{EPTCS}},
 volume       = {212},
 pages        = {63--80},
 doi          = {10.4204/EPTCS.212.5},
)
@inbook(Selinger2011,
 author       = {P. Selinger},
 year         = {2011},
 title        = {A Survey of Graphical Languages for Monoidal Categories},
 pages        = {289--355},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-12821-9\_4},
)
@article(DBLP:journals/iandc/WrightF94,
 author       = {Andrew K. Wright and Matthias Felleisen},
 year         = {1994},
 title        = {A Syntactic Approach to Type Soundness},
 journal      = {Inf. Comput.},
 volume       = {115},
 number       = {1},
 pages        = {38--94},
 doi          = {10.1006/inco.1994.1093},
)