| Publication | Date of Publication | Type |
|---|
Interaction nets and term rewriting systems (extended abstract)
Trees in Algebra and Programming — CAAP '96 | 2023-02-23 | Paper |
| Compiling process networks to interaction nets | 2021-12-07 | Paper |
Compiling process networks to interaction nets
(available as arXiv preprint) | 2021-12-07 | Paper |
| In-place graph rewriting with interaction nets | 2021-12-07 | Paper |
In-place graph rewriting with interaction nets
(available as arXiv preprint) | 2021-12-07 | Paper |
| An implementation model for interaction nets | 2021-12-02 | Paper |
An implementation model for interaction nets
(available as arXiv preprint) | 2021-12-02 | Paper |
| A new graphical calculus of proofs | 2021-03-03 | Paper |
A new graphical calculus of proofs
(available as arXiv preprint) | 2021-03-03 | Paper |
Linear numeral systems
Journal of Automated Reasoning | 2019-10-25 | Paper |
YALE: yet another lambda evaluator based on interaction nets
Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2019-09-26 | Paper |
| Controlling file access with types | 2018-04-23 | Paper |
| A geometry of interaction machine for Gödel's system T | 2017-12-20 | Paper |
YALE: yet another lambda evaluator based on interaction nets
Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
An Interaction Net Encoding of Gödel’s System $$\mathcal {T}$$
Functional and Logic Programming | 2016-04-04 | Paper |
Visual modelling of complex systems: towards an abstract machine for PORGY
Language, Life, Limits | 2015-02-25 | Paper |
Linearity: a roadmap
Journal Of Logic And Computation | 2015-01-12 | Paper |
Compilation of interaction nets
Electronic Notes in Theoretical Computer Science | 2014-07-23 | Paper |
Minimality in a linear calculus with iteration
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
From functional programs to interaction nets via the rewriting calculus
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
The power of closed reduction strategies
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
A calculus for interaction nets based on the linear chemical abstract machine
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Interaction nets vs. the \(\rho\)-calculus: introducing bigraphical nets | 2013-10-07 | Paper |
| Towards a programming language for interaction nets | 2013-09-25 | Paper |
| Macros for interaction nets: a conservative extension of interaction nets | 2013-09-25 | Paper |
| A higher-order calculus for graph transformation | 2013-08-27 | Paper |
Linearity and iterator types for Gödel's system \(\mathcal T\)
Higher-Order and Symbolic Computation | 2012-01-13 | Paper |
A visual model of computation
Lecture Notes in Computer Science | 2010-06-17 | Paper |
Gödel's system \(\mathcal T\) revisited
Theoretical Computer Science | 2010-03-29 | Paper |
Rewriting Techniques and Applications
Lecture Notes in Computer Science | 2009-04-30 | Paper |
Encoding Strategies in the Lambda Calculus with Interaction Nets
Implementation and Application of Functional Languages | 2009-04-28 | Paper |
The Power of Linear Functions
Computer Science Logic | 2009-03-12 | Paper |
Linear Recursive Functions
Rewriting, Computation and Proof | 2009-03-06 | Paper |
Iterator Types
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
Interaction Net Implementation of Additive and Multiplicative Structures
Journal Of Logic And Computation | 2005-07-13 | Paper |
Lambda-calculus with director strings
Applicable Algebra in Engineering, Communication and Computing | 2005-06-16 | Paper |
Closed reduction: explicit substitutions without $\alpha$ -conversion
Mathematical Structures in Computer Science | 2005-05-06 | Paper |
| scientific article; zbMATH DE number 2043520 (Why is no real title available?) | 2004-02-16 | Paper |
| scientific article; zbMATH DE number 2016068 (Why is no real title available?) | 2003-12-10 | Paper |
Operational equivalence for interaction nets.
Theoretical Computer Science | 2003-08-17 | Paper |
Encoding linear logic with interaction combinators
Information and Computation | 2003-01-14 | Paper |
Interaction nets for linear logic
Theoretical Computer Science | 2000-10-26 | Paper |
| scientific article; zbMATH DE number 1512711 (Why is no real title available?) | 2000-10-03 | Paper |
| scientific article; zbMATH DE number 1487844 (Why is no real title available?) | 2000-08-10 | Paper |
| scientific article; zbMATH DE number 1392290 (Why is no real title available?) | 2000-01-24 | Paper |
| scientific article; zbMATH DE number 1424037 (Why is no real title available?) | 1999-01-01 | Paper |
Interaction nets and term-rewriting systems
Theoretical Computer Science | 1998-06-30 | Paper |
Proof theory and automated deduction
Applied Logic Series | 1998-02-25 | Paper |
| scientific article; zbMATH DE number 860035 (Why is no real title available?) | 1996-07-01 | Paper |
Lilac: a functional programming language based on linear logic
Journal of Functional Programming | 1995-05-04 | Paper |
An internal language for autonomous categories
Applied Categorical Structures | 1995-02-16 | Paper |
