| 2007 |
|---|
| 43 | EE | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Iterator Types.
FoSSaCS 2007: 17-31 |
| 42 | EE | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Linear Recursive Functions.
Rewriting, Computation and Proof 2007: 182-195 |
| 41 | EE | Jean-Pierre Jouannaud,
Ian Mackie:
Preface.
Electr. Notes Theor. Comput. Sci. 171(3): 1-2 (2007) |
| 40 | EE | Horatiu Cirstea,
Germain Faure,
Maribel Fernández,
Ian Mackie,
François-Régis Sinot:
From Functional Programs to Interaction Nets via the Rewriting Calculus.
Electr. Notes Theor. Comput. Sci. 174(10): 39-56 (2007) |
| 39 | EE | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
The Power of Closed Reduction Strategies.
Electr. Notes Theor. Comput. Sci. 174(10): 57-74 (2007) |
| 38 | EE | Ian Mackie:
Preface.
Electr. Notes Theor. Comput. Sci. 176(1): 1-2 (2007) |
| 37 | EE | Ian Mackie,
Detlef Plump:
Preface.
Electr. Notes Theor. Comput. Sci. 72(1): 1-2 (2007) |
| 36 | EE | Maribel Fernández,
Ian Mackie,
Jorge Sousa Pinto:
A Higher-Order Calculus for Graph Transformation.
Electr. Notes Theor. Comput. Sci. 72(1): 45-58 (2007) |
| 2006 |
|---|
| 35 | EE | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
The Power of Linear Functions.
CSL 2006: 119-134 |
| 34 | EE | Maribel Fernández,
Ian Mackie:
Preface.
Electr. Notes Theor. Comput. Sci. 135(3): 1-2 (2006) |
| 33 | EE | Maribel Fernández,
Ian Mackie,
François-Régis Sinot:
Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets.
Electr. Notes Theor. Comput. Sci. 154(3): 19-32 (2006) |
| 2005 |
|---|
| 32 | EE | Ian Mackie:
Encoding Strategies in the Lambda Calculus with Interaction Nets.
IFL 2005: 19-36 |
| 31 | EE | Maribel Fernández,
Ian Mackie,
François-Régis Sinot:
Lambda-Calculus with Director Strings.
Appl. Algebra Eng. Commun. Comput. 15(6): 393-437 (2005) |
| 30 | EE | Ian Mackie:
Towards a Programming Language for Interaction Nets.
Electr. Notes Theor. Comput. Sci. 127(5): 133-151 (2005) |
| 29 | EE | François-Régis Sinot,
Ian Mackie:
Macros for Interaction Nets: A Conservative Extension of Interaction Nets.
Electr. Notes Theor. Comput. Sci. 127(5): 153-169 (2005) |
| 28 | EE | Ian Mackie:
Interaction Net Implementation of Additive and Multiplicative Structures.
J. Log. Comput. 15(2): 219-237 (2005) |
| 27 | EE | Maribel Fernández,
Ian Mackie,
François-Régis Sinot:
Closed reduction: explicit substitutions without alpha-conversion.
Mathematical Structures in Computer Science 15(2): 343-381 (2005) |
| 2004 |
|---|
| 26 | EE | Maribel Fernández,
Murdoch Gabbay,
Ian Mackie:
Nominal rewriting systems.
PPDP 2004: 108-119 |
| 25 | EE | Ian Mackie:
Efficient lambda-Evaluation with Interaction Nets.
RTA 2004: 155-169 |
| 2003 |
|---|
| 24 | EE | François-Régis Sinot,
Maribel Fernández,
Ian Mackie:
Efficient Reductions with Director Strings.
RTA 2003: 46-60 |
| 23 | EE | Maribel Fernández,
Ian Mackie,
Paula Severi,
Nora Szasz:
Reduction Strategies for Program Extraction.
CLEI Electron. J. 6(1): (2003) |
| 22 | EE | Maribel Fernández,
Ian Mackie:
Operational equivalence for interaction nets.
Theor. Comput. Sci. 1-3(297): 157-181 (2003) |
| 2002 |
|---|
| 21 | EE | Maribel Fernández,
Ian Mackie:
Call-by-Value lambda-Graph Rewriting Without Rewriting.
ICGT 2002: 75-89 |
| 20 | EE | Ian Mackie,
Jorge Sousa Pinto:
Encoding Linear Logic with Interaction Combinators.
Inf. Comput. 176(2): 153-186 (2002) |
| 2000 |
|---|
| 19 | | Maribel Fernández,
Ian Mackie:
A Theory of Operational Equivalence for Interaction Nets.
LATIN 2000: 447-456 |
| 18 | EE | Ian Mackie:
Interaction nets for linear logic.
Theor. Comput. Sci. 247(1-2): 83-140 (2000) |
| 1999 |
|---|
| 17 | | Maribel Fernández,
Ian Mackie:
Closed Reductions in the lambda-Calculus.
CSL 1999: 220-234 |
| 16 | | Maribel Fernández,
Ian Mackie:
A Calculus for Interaction Nets.
PPDP 1999: 170-187 |
| 1998 |
|---|
| 15 | EE | Ian Mackie:
YALE: Yet Another Lambda Evaluator Based on Interaction Nets.
ICFP 1998: 117-128 |
| 14 | | Ian Mackie:
Linear Logic With Boxes.
LICS 1998: 309-320 |
| 13 | | Maribel Fernández,
Ian Mackie:
Coinductive Techniques for Operational Equivalence of Interaction Nets.
LICS 1998: 321-332 |
| 12 | EE | Maribel Fernández,
Ian Mackie:
Interaction Nets and Term-Rewriting Systems.
Theor. Comput. Sci. 190(1): 3-39 (1998) |
| 1997 |
|---|
| 11 | | Ian Mackie:
Static Analysis of Interaction Nets for Distributed Implementations.
SAS 1997: 217-231 |
| 1996 |
|---|
| 10 | | Maribel Fernández,
Ian Mackie:
Interaction Nets and Term Rewriting Systems (Extended Abstract).
CAAP 1996: 149-164 |
| 9 | | Thomas P. Jensen,
Ian Mackie:
Flow Analysis in the Geometry of Interaction.
ESOP 1996: 188-203 |
| 8 | | Maribel Fernández,
Ian Mackie:
From Term Rewriting to Generalised Interaction Nets.
PLILP 1996: 319-333 |
| 1995 |
|---|
| 7 | | Chris Hankin,
Ian Mackie,
Rajagopal Nagarajan:
Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, 11-14 September 1994
Imperial College Press 1995 |
| 6 | | Ian Mackie:
The Geometry of Interaction Machine.
POPL 1995: 198-208 |
| 1994 |
|---|
| 5 | | Ian Mackie:
A Lambda-Evaluator Based on Interaction Nets.
Theory and Formal Methods 1994: 41-60 |
| 4 | | Chris Hankin,
Ian Mackie,
Rajagopal Nagarajan:
Preface.
Theory and Formal Methods 1994 |
| 3 | | Ian Mackie:
Lilac: A Functional Programming Language Based on Linear Logic.
J. Funct. Program. 4(4): 395-433 (1994) |
| 1993 |
|---|
| 2 | | Ian Mackie,
Leopoldo Román,
Samson Abramsky:
An Internal Language for Autonomous Categories.
Theory and Formal Methods 1993: 235-246 |
| 1 | EE | Ian Mackie,
Leopoldo Román,
Samson Abramsky:
An internal language for autonomous categories.
Applied Categorical Structures 1(3): 311-343 (1993) |
