Sandra Alves Maribel Fernández Ian Mackie 2011 Echahed Proceedings of TERMGRAPH 2011 EPTCS 69–84 http://dx.doi.org/10.4204/EPTCS.48.8 Oana Andrei Maribel Fernández Hélène Kirchner Guy Melancon Olivier Namet Bruno Pinaud 2011 Echahed Proceedings of TERMGRAPH 2011 EPTCS 54–68 http://dx.doi.org/10.4204/EPTCS.48.7 Oana Andrei Hélène Kirchner 2008 Electr. Notes Theor. Comput. Sci. 219 67–82 http://dx.doi.org/10.1016/j.entcs.2008.10.035 Andrea Asperti Cecilia Giovannetti Andrea Naletto 1996 Journal of Functional Programming 6 6 763–810 http://dx.doi.org/10.1017/S0956796800001994 Horatiu Cirstea Claude Kirchner 2001 Logic Journal of the Interest Group in Pure and Applied Logics 9 3 427–498 http://dx.doi.org/10.1093/jigpal/9.3.339 Frank Drewes Berthold Hoffmann Detlef Plump 2000 Tiuryn Proc. Foundations of Software Science and Computation Structures (FOSSACS 2000) Lecture Notes in Computer Science 1784 98–113 http://dx.doi.org/10.1007/3-540-46432-8_7 M. Fernández L. Khalil 2003 Nordic Journal of Computing 10 2 134–162 http://dx.doi.org/10.1016/S1571-0661(05)80363-9 M. Fernández I. Mackie 1996 Proceedings of PLILP'96. Programming Languages: Implementations, Logics, and Programs Lecture Notes in Computer Science 1140 Springer-Verlag http://dx.doi.org/10.1007/3-540-61756-6_94 Maribel Fernández Ian Mackie 1998 Theoretical Computer Science 190 1 3–39 http://dx.doi.org/10.1016/S0304-3975(97)00082-0 Maribel Fernández Ian Mackie Francois Régis Sinot 2006 Electr. Notes Theor. Comput. Sci. 154 3 19–32 http://dx.doi.org/10.1016/j.entcs.2006.05.004 Fabien Fleutot 2004 M. Fernandez Proc. of the 2nd Int. Workshop on Term Graph Rewriting (TERMGRAPH 2004) ENTCS

Rome

http://dx.doi.org/10.1016/j.entcs.2005.03.024 Georges Gonthier Martín Abadi Jean-Jacques Lévy 1992 Proceedings of the 19th ACM Symposium on Principles of Programming Languages (POPL'92) ACM Press 15–26 http://dx.doi.org/10.1145/143165.143172 Abubakar Hassan Ian Mackie Jorge Sousa Pinto 2008 Gem Stapleton John Howse John Lee Diagrams Lecture Notes in Computer Science 5223 Springer 165–171 http://dx.doi.org/10.1007/978-3-540-87730-1_17 O. Jensen R. Milner 2004 Technical Report 580, Computer Laboratory, University of Cambridge Yves Lafont 1990 Proceedings of the 17th ACM Symposium on Principles of Programming Languages (POPL'90) ACM Press 95–108 http://dx.doi.org/10.1145/96709.96718 Yves Lafont 1995 J.-Y. Girard Y. Lafont L. Regnier Advances in Linear Logic London Mathematical Society Lecture Note Series 222 Cambridge University Press 225–247 http://dx.doi.org/10.1017/CBO9780511629150.012 Ian Mackie 1994 Department of Computing, Imperial College of Science, Technology and Medicine Ian Mackie 2004 V. van Oostrom Proc. 15th Int. Conference on Rewriting Techniques and Applications (RTA'04) Lecture Notes in Computer Science 3091 Springer-Verlag 155–169 http://dx.doi.org/10.1007/978-3-540-25979-4_11 Ian Mackie 2009 VL/HCC IEEE 170–173 http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295272 Ian Mackie 2010 Jan Kratochvíl Angsheng Li JiríFiala Petr Kolman TAMC Lecture Notes in Computer Science 6108 Springer 350–360 http://dx.doi.org/10.1007/978-3-642-13562-0_32 Robin Milner 2001 Kim Guldstrand Larsen Mogens Nielsen CONCUR Lecture Notes in Computer Science 2154 Springer 16–35 http://dx.doi.org/10.1007/3-540-44685-0_2 Jorge Sousa Pinto 2000 J. Tiuryn Proceedings of Foundations of Software Science and Computation Structures (FOSSACS) Lecture Notes in Computer Science 1784 Springer-Verlag 267–282 http://dx.doi.org/10.1007/3-540-46432-8_18