Interaction Nets and Geometry of Interaction
2008
– A. Hassan, I. Mackie, and J. S. Pinto. Visual programming with Interaction Nets. In Proceedings of the Fifth International Conference on the Theory and Application of Diagrams (Diagrams’08), volume 5223 of Lecture Notes in Computer Science. Springer, 2008.
2007
– J. B. Almeida, J. S. Pinto, and M. Vilaça. Token-passing Nets for Functional Languages. In J. Giesl, editor, Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS’07), volume 204 of Electronic Notes in Theoretical Computer Science, pages 181–198. Elsevier, 2007.
– J. B. Almeida, J. S. Pinto, and M. Vilaça. A Tool for Programming with Interaction Nets. In Proceedings of the The Eighth International Workshop on Rule-Based Programming (RULE’07), volume 219 of Electronic Notes in Theoretical Computer Science, pages 83–96. Elsevier, 2007.
– I. Mackie, J. S. Pinto, and M. Vilaça. Visual Programming with Recursion Patterns in Interaction Nets. In K. Ehrig and H. Giese, editors, Proceedings of the 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT’07), volume 6 of Electronic Communications of the EASST, 2007.
2006
– J. B. Almeida, J. S. Pinto, and M. Vilaçaa. A Local Graph-rewriting System for Deciding Equality in Sum-product Theories. In I. Mackie, editor, Proceedings of the 3rd. International Workshop on Term Graph Rewriting (TERMGRAPH’06), volume 176 of Electronic Notes in Theoretical Computer Science, pages 139–163. Elsevier, 2007.
2003
–J. S. Pinto, Weak Reduction and Garbage Collection in Interaction Nets. In B. Gramlich and S. Lucas, editors, Proceedings of the 3rd Int'l Workshop on Reduction Strategies in Rewriting and Programming (WRS'03), ENTCS Vol. 86 Issue 4. © Elsevier Science
2002
– I. Mackie and J. S. Pinto, Encoding Linear Logic with Interaction Combinators. In Information and Computation Vol. 176, No. 2, August 1, 2002. © Academic Press
– M. Fernández, I. Mackie and J. S. Pinto, A Higher-order Calculus for Graph Transformation. In D. Plump, editor, Proceedings of TERMGRAPH'02, ENTCS Vol. 72. © Elsevier Science
2001
– M. Fernández, I. Mackie and J. S. Pinto, Combining Interaction Nets with Externally Defined Programs. APPIA-GULP-PRODE Joint Conference on Declarative Programming, 2001.
– J. S. Pinto, Parallel Implementation Models for the lambda-calculus Using the Geometry of Interaction. In S.Abramsky, editor, Proceedings of TLCA'01, LNCS 2044, pp. 385-. © Springer-Verlag
– J. S. Pinto, Parallel Evaluation of Interaction Nets with MPINE. In A.Middeldorp, editor, Proceedings of RTA'01, LNCS 2051, pp 353-. © Springer-Verlag
2000
–J. S. Pinto, Sequential and Concurrent Abstract Machines for Interaction Nets. In J.Tiuryn, editor, Proceedings of FOSSACS'00, LNCS 1784, pp. 267-282. © Springer-Verlag