| Publication | Date of Publication | Type |
|---|
| Interaction nets and term rewriting systems (extended abstract) | 2023-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015372 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015373 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013814 | 2021-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964705 | 2021-03-03 | Paper |
| Linear numeral systems | 2019-10-25 | Paper |
| YALE | 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 | 2017-08-21 | Paper |
| An Interaction Net Encoding of Gödel’s System $$\mathcal {T}$$ | 2016-04-04 | Paper |
| Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY | 2015-02-25 | Paper |
| Linearity: A Roadmap | 2015-01-12 | Paper |
| Compilation of Interaction Nets | 2014-07-23 | Paper |
| Minimality in a linear calculus with iteration | 2014-01-24 | Paper |
| From functional programs to interaction nets via the rewriting calculus | 2013-12-06 | Paper |
| The power of closed reduction strategies | 2013-12-06 | Paper |
| A calculus for interaction nets based on the linear chemical abstract machine | 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\) | 2012-01-13 | Paper |
| A Visual Model of Computation | 2010-06-17 | Paper |
| Gödel's system \(\mathcal T\) revisited | 2010-03-29 | Paper |
| Rewriting Techniques and Applications | 2009-04-30 | Paper |
| Encoding Strategies in the Lambda Calculus with Interaction Nets | 2009-04-28 | Paper |
| The Power of Linear Functions | 2009-03-12 | Paper |
| Linear Recursive Functions | 2009-03-06 | Paper |
| Iterator Types | 2007-09-07 | Paper |
| Interaction Net Implementation of Additive and Multiplicative Structures | 2005-07-13 | Paper |
| Lambda-calculus with director strings | 2005-06-16 | Paper |
| Closed reduction: explicit substitutions without $\alpha$ -conversion | 2005-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4447222 | 2004-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438766 | 2003-12-10 | Paper |
| Operational equivalence for interaction nets. | 2003-08-17 | Paper |
| Encoding linear logic with interaction combinators | 2003-01-14 | Paper |
| Interaction nets for linear logic | 2000-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508401 | 2000-10-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494368 | 2000-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936129 | 2000-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945227 | 1999-01-01 | Paper |
| Interaction nets and term-rewriting systems | 1998-06-30 | Paper |
| Proof theory and automated deduction | 1998-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870805 | 1996-07-01 | Paper |
| Lilac: a functional programming language based on linear logic | 1995-05-04 | Paper |
| An internal language for autonomous categories | 1995-02-16 | Paper |
