Ian Mackie

J. Log. Comput., 2014

Linearity: A Roadmap.

[BibT_eX]

[DOI]

J. Log. Comput., 2014

Preface.

[BibT_eX]

[DOI]

Mauricio Ayala-Rincón

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

An Implementation Model for Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 8th International Workshop on Computing with Terms and Graphs, 2014

Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY.

[BibT_eX]

[DOI]

Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

2013

Bigraphical Nets

[BibT_eX]

[DOI]

Matthew Walker

Proceedings of the Proceedings 7th International Workshop on Computing with Terms and Graphs, 2013

2011

A new graphical calculus of proofs

[BibT_eX]

[DOI]

Sandra Alves

Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011

Linearity and recursion in a typed Lambda-calculus.

[BibT_eX]

[DOI]

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

2010

Gödel's system tau revisited.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Linearity and iterator types for Gödel's System.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2010

A lightweight abstract machine for interaction nets.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Linear Recursion

[BibT_eX]

[DOI]

CoRR, 2010

A Visual Model of Computation.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Models of Computation, 7th Annual Conference, 2010

2009

Compilation of Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009

Recursive Functions with Pattern Matching in Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009

Iterators, Recursors and Interaction Nets

[BibT_eX]

[DOI]

Miguel Vilaça

CoRR, 2009

A rewriting paradigm for program and algorithm animation.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

2008

Preface.

[BibT_eX]

[DOI]

Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, 2008

Interaction nets: programming language design and implementation.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

An Interaction Net Implementation of Closed Reduction.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2008

Visual Programming with Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

2007

Theory and applications of term graph rewriting: introduction.

[BibT_eX]

[DOI]

Detlef Plump

Math. Struct. Comput. Sci., 2007

More developments in computational models: introduction.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2007

A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Developments in Computational Models, 2007

Preface.

[BibT_eX]

[DOI]

Detlef Plump

Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, 2007

Minimality in a Linear Calculus with Iteration.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007

Visual Programming with Recursion Patterns in Interaction Nets.

[BibT_eX]

[DOI]

Miguel Vilaça

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Iterator Types.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2007

Linear Recursive Functions.

[BibT_eX]

[DOI]

Proceedings of the Rewriting, 2007

2006

Developments in computational models: introduction.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2006

Preface.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Term Graph Rewriting, 2006

Preface.

[BibT_eX]

[DOI]

Jean-Pierre Jouannaud

Proceedings of the Second International Workshop on Developments in Computational Models, 2006

From Functional Programs to Interaction Nets via the Rewriting Calculus.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006

The Power of Closed Reduction Strategies.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006

The Power of Linear Functions.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2005

Closed reduction: explicit substitutions without alpha-conversion.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2005

Interaction Net Implementation of Additive and Multiplicative Structures.

[BibT_eX]

[DOI]

J. Log. Comput., 2005

Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Expressiveness on Concurrency, 2005

Preface.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Developments in Computational Models, 2005

Lambda-Calculus with Director Strings.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2005

Encoding Strategies in the Lambda Calculus with Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2005

2004

Macros for Interaction Nets: A Conservative Extension of Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Term Graph Rewriting, 2004

Towards a Programming Language for Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Term Graph Rewriting, 2004

Efficient lambda-Evaluation with Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

Nominal rewriting systems.

[BibT_eX]

[DOI]

Murdoch Gabbay

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003

Operational equivalence for interaction nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Reduction Strategies for Program Extraction.

[BibT_eX]

[DOI]

CLEI Electron. J., 2003

Efficient Reductions with Director Strings.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

2002

Encoding Linear Logic with Interaction Combinators.

[BibT_eX]

[DOI]

Inf. Comput., 2002

A Higher-Order Calculus for Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Term Graph Rewriting, 2002

Call-by-Value lambda-Graph Rewriting Without Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation, First International Conference, 2002

2001

Combining interaction nets with externally defined programs.

[BibT_eX]

[DOI]

Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000

Interaction nets for linear logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

A Theory of Operational Equivalence for Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the LATIN 2000: Theoretical Informatics, 2000

1999

A Calculus for Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

Closed Reductions in the lambda-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998

Interaction Nets and Term-Rewriting Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1998

Linear Logic With Boxes.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Coinductive Techniques for Operational Equivalence of Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

YALE: Yet Another Lambda Evaluator Based on Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1997

Static Analysis of Interaction Nets for Distributed Implementations.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 4th International Symposium, 1997

1996

From Term Rewriting to Generalised Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1996

Flow Analysis in the Geometry of Interaction.

[BibT_eX]

[DOI]

Thomas P. Jensen

Proceedings of the Programming Languages and Systems, 1996

Interaction Nets and Term Rewriting Systems (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Trees in Algebra and Programming, 1996

1995

The Geometry of Interaction Machine.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1994

Lilac: A Functional Programming Language Based on Linear Logic.

[BibT_eX]

[DOI]

J. Funct. Program., 1994

A Lambda-Evaluator Based on Interaction Nets.

[BibT_eX]

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

Preface.

[BibT_eX]

Chris Hankin

Rajagopal Nagarajan

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

1993

An internal language for autonomous categories.

[BibT_eX]

[DOI]