@article(llcomputation, author = {Samson Abramsky}, year = {1993}, title = {Computational interpretations of linear logic}, journal = {Theoretical Computer Science}, volume = {111}, number = {1}, pages = {3--57}, doi = {10.1016/0304-3975(93)90181-R}, ) @inproceedings(mllgraphs, author = {Matteo Acclavio and Ross Horne and Stra\ss{}burger, Lutz}, year = {2020}, title = {Logic Beyond Formulas: A Proof System on Graphs}, booktitle = {Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science}, series = {LICS '20}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, pages = {38–52}, doi = {10.1145/3373718.3394763}, ) @article(focusing, author = {Jean-Marc Andreoli}, year = {1992}, title = {{Logic Programming with Focusing Proofs in Linear Logic}}, journal = {Journal of Logic and Computation}, volume = {2}, number = {3}, pages = {297--347}, doi = {10.1093/logcom/2.3.297}, ) @inproceedings(poplmark, author = {Brian E. Aydemir and Aaron Bohannon and Matthew Fairbairn and J. Nathan Foster and Benjamin C. Pierce and Peter Sewell and Dimitrios Vytiniotis and Geoffrey Washburn and Stephanie Weirich and Steve Zdancewic}, year = {2005}, title = {Mechanized Metatheory for the Masses: The PoplMark Challenge}, booktitle = {Proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics}, series = {TPHOLs'05}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg}, pages = {50–65}, doi = {10.1007/11541868_4}, ) @article(encodetermalgebras, author = {Corrado Böhm and Alessandro Berarducci}, year = {1985}, title = {Automatic synthesis of typed Λ-programs on term algebras}, journal = {Theoretical Computer Science}, volume = {39}, pages = {135--154}, doi = {10.1016/0304-3975(85)90135-5}, note = {Third Conference on Foundations of Software Technology and Theoretical Computer Science}, ) @inproceedings(phoas, author = {Adam Chlipala}, year = {2008}, title = {Parametric Higher-Order Abstract Syntax for Mechanized Semantics}, booktitle = {Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming}, series = {ICFP '08}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, pages = {143–156}, doi = {10.1145/1411204.1411226}, ) @article(debruijn, author = {{de Bruijn}, N.G}, year = {1972}, title = {Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem}, journal = {Indagationes Mathematicae (Proceedings)}, volume = {75}, number = {5}, pages = {381--392}, doi = {10.1016/1385-7258(72)90034-0}, ) @article(typeisos, author = {R. Dicosmo}, year = {1995}, title = {Second Order Isomorphic Types: A Proof Theoretic Study on Second Order λ-Calculus with Surjective Pairing and Terminal Object}, journal = {Information and Computation}, volume = {119}, number = {2}, pages = {176--201}, doi = {10.1006/inco.1995.1085}, ) @article(portgraph, author = {Maribel Fernández and Hélène Kirchner and Bruno Pinaud}, year = {2018}, title = {Labelled Port Graph – A Formal Structure for Models and Computations}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {338}, pages = {3--21}, doi = {10.1016/j.entcs.2018.10.002}, note = {The 12th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2017)}, ) @misc(hypergraph, author = {Dan R. Ghica and Koko Muroya and Todd Waugh Ambridge}, year = {2019}, title = {A robust graph-based approach to observational equivalence}, doi = {10.48550/ARXIV.1907.01257}, ) @article(linearlogic, author = {Jean-Yves Girard}, year = {1987}, title = {Linear logic}, journal = {Theoretical Computer Science}, volume = {50}, number = {1}, pages = {1--101}, doi = {10.1016/0304-3975(87)90045-4}, ) @inproceedings(twoillustrations, author = {Clemens Grabmayer}, year = {2018}, title = {Modeling Terms by Graphs with Structure Constraints (Two Illustrations)}, editor = {Maribel Fern{\'{a}}ndez and Ian Mackie}, booktitle = {Proceedings Tenth International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018}, series = {{EPTCS}}, volume = {288}, pages = {1--13}, doi = {10.4204/EPTCS.288.1}, ) @inproceedings(calcc, author = {Timothy G. Griffin}, year = {1989}, title = {A Formulae-as-Type Notion of Control}, booktitle = {Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, series = {POPL '90}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, pages = {47–58}, doi = {10.1145/96709.96714}, ) @inproceedings(twotrans, author = {Giulio Guerrieri and Giulio Manzonetto}, year = {2018}, title = {The Bang Calculus and the Two Girard's Translations}, editor = {Thomas Ehrhard and Maribel Fern{\'{a}}ndez and Valeria de Paiva and Lorenzo Tortora de Falco}, booktitle = {Proceedings Joint International Workshop on Linearity {\&} Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018}, series = {{EPTCS}}, volume = {292}, pages = {15--30}, doi = {10.4204/EPTCS.292.2}, ) @inproceedings(interactionnets, author = {Yves Lafont}, year = {1989}, title = {Interaction Nets}, booktitle = {Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, series = {POPL '90}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, pages = {95–108}, doi = {10.1145/96709.96718}, ) @inbook(pnin, author = {Yves Lafont}, year = {1995}, title = {From proof nets to interaction nets}, pages = {225–248}, series = {London Mathematical Society Lecture Note Series}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511629150.012}, ) @article(inll, author = {Ian Mackie}, year = {2000}, title = {Interaction nets for linear logic}, journal = {Theoretical Computer Science}, volume = {247}, number = {1}, pages = {83--140}, doi = {10.1016/S0304-3975(00)00198-5}, ) @inproceedings(interactionnetimpl, author = {Ian Mackie}, year = {2011}, title = {An Interaction Net Implementation of Closed Reduction}, editor = {Sven-Bodo Scholz and Olaf Chitil}, booktitle = {Implementation and Application of Functional Languages}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, pages = {43--59}, doi = {10.1007/978-3-642-24452-0_3}, ) @phdthesis(geometryofimplementation, author = {Ian Craig Mackie}, year = {1994}, title = {The {Geometry} of {Implementation}}, type = {{PhD} thesis}, school = {Imperial College of Science, Technology and Medicine}, doi = {10.25560/46072}, ) @inproceedings(structuredgraphs, author = {Bruno C.d.S. Oliveira and William R. Cook}, year = {2012}, title = {Functional Programming with Structured Graphs}, booktitle = {Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming}, series = {ICFP '12}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, pages = {77–88}, doi = {10.1145/2364527.2364541}, ) @misc(lambdascope, author = {Vincent van Oostrom and Kees Jan van de Looij and Marijn Zwitserlood}, year = {2004}, title = {Lambdascope Another optimal implementation of the lambda-calculus}, ) @book(tapl, author = {Benjamin C. Pierce}, year = {2002}, title = {Types and Programming Languages}, edition = {1st}, publisher = {The MIT Press}, ) @inproceedings(gp2, author = {Detlef Plump}, year = {2011}, title = {The Design of {GP} 2}, editor = {Santiago Escobar}, booktitle = {Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, {WRS} 2011, Novi Sad, Serbia, 29 May 2011}, series = {{EPTCS}}, volume = {82}, pages = {1--16}, doi = {10.4204/EPTCS.82.1}, ) @inproceedings(groove, author = {Arend Rensink}, year = {2004}, title = {The GROOVE Simulator: A Tool for State Space Generation}, editor = {John L. Pfaltz and Manfred Nagl and Boris B{\"o}hlen}, booktitle = {Applications of Graph Transformations with Industrial Relevance}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, pages = {479--485}, doi = {10.1007/978-3-540-25959-6_40}, ) @article(handsome, author = {Christian Retoré}, year = {2003}, title = {Handsome proof-nets: perfect matchings and cographs}, journal = {Theoretical Computer Science}, volume = {294}, number = {3}, pages = {473--488}, doi = {10.1016/S0304-3975(01)00175-X}, note = {Linear Logic}, ) @article(categoricalclosureconversion, author = {Ralf Schweimeier and Alan Jeffrey}, year = {1999}, title = {A Categorical and Graphical Treatment of Closure Conversion}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {20}, pages = {481--511}, doi = {10.1016/S1571-0661(04)80090-2}, note = {MFPS XV, Mathematical Foundations of Progamming Semantics, Fifteenth Conference}, ) @article(lmntal, author = {Kazunori Ueda}, year = {2009}, title = {LMNtal as a hierarchical logic programming language}, journal = {Theoretical Computer Science}, volume = {410}, number = {46}, pages = {4784--4800}, doi = {10.1016/j.tcs.2009.07.043}, note = {Abstract Interpretation and Logic Programming: In honor of professor Giorgio Levi}, ) @inproceedings(bgb, author = {Geoffrey Washburn and Stephanie Weirich}, year = {2003}, title = {Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism}, booktitle = {Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming}, series = {ICFP '03}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, pages = {249–262}, doi = {10.1145/944705.944728}, ) @article(hyperlmntal, author = {Alimujiang Yasen and Kazunori Ueda}, year = {2021}, title = {Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting}, journal = {IEEE Access}, volume = {9}, pages = {133449--133460}, doi = {10.1109/ACCESS.2021.3112903}, )