 | 2011 |
|---|
| 67 |       | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Linearity and recursion in a typed Lambda-calculus.
PPDP 2011: 173-182 |
| 66 | | Sandra Alves,
Maribel Fernández,
Ian Mackie:
A new graphical calculus of proofs
TERMGRAPH 2011: 69-84 |
| 65 | | Bob Coecke,
Ian Mackie,
Prakash Panangaden,
Peter Selinger:
Preface.
Electr. Notes Theor. Comput. Sci. 270(1): 1-2 (2011) |
| 2010 |
|---|
| 64 | | Ian Mackie:
A Visual Model of Computation.
TAMC 2010: 350-360 |
| 63 | | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Linear Recursion
CoRR abs/1001.3368: (2010) |
| 62 | | Abubakar Hassan,
Ian Mackie,
Shinya Sato:
A lightweight abstract machine for interaction nets.
ECEASST 29: (2010) |
| 61 | | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Linearity and iterator types for Gödel's System.
Higher-Order and Symbolic Computation 23(1): 1-27 (2010) |
| 60 | | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Gödel's system tau revisited.
Theor. Comput. Sci. 411(11-13): 1484-1500 (2010) |
| 2009 |
|---|
| 59 | | Mário Florido,
Ian Mackie:
Proceedings First International Workshop on Linearity
LINEARITY 2009 |
| 58 | | Ian Mackie,
Anamaria Martins Moreira:
Proceedings Tenth International Workshop on Rule-Based Programming
RULE 2009 |
| 57 | | Ian Mackie:
A rewriting paradigm for program and algorithm animation.
VL/HCC 2009: 170-173 |
| 56 | | Ian Mackie,
Jorge Sousa Pinto,
Miguel Vilaça:
Iterators, Recursors and Interaction Nets
CoRR abs/0910.3321: (2009) |
| 55 | | Maribel Fernández,
Ian Mackie,
Shinya Sato,
Matthew Walker:
Recursive Functions with Pattern Matching in Interaction Nets.
Electr. Notes Theor. Comput. Sci. 253(4): 55-71 (2009) |
| 54 | | Abubakar Hassan,
Ian Mackie,
Shinya Sato:
Compilation of Interaction Nets.
Electr. Notes Theor. Comput. Sci. 253(4): 73-90 (2009) |
| 2008 |
|---|
| 53 | | Abubakar Hassan,
Ian Mackie,
Jorge Sousa Pinto:
Visual Programming with Interaction Nets.
Diagrams 2008: 165-171 |
| 52 | | Ian Mackie:
An Interaction Net Implementation of Closed Reduction.
IFL 2008: 43-59 |
| 51 | | Abubakar Hassan,
Ian Mackie,
Shinya Sato:
Interaction nets: programming language design and implementation.
ECEASST 10: (2008) |
| 50 | | Ian Mackie,
Shinya Sato:
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine.
Electr. Notes Theor. Comput. Sci. 192(3): 59-70 (2008) |
| 49 | | Ian Mackie,
Detlef Plump:
Preface.
Electr. Notes Theor. Comput. Sci. 203(1): 1-2 (2008) |
| 48 | | Sandra Alves,
Mário Florido,
Ian Mackie,
François-Régis Sinot:
Minimality in a Linear Calculus with Iteration.
Electr. Notes Theor. Comput. Sci. 204: 163-179 (2008) |
| 2007 |
|---|
| 47 | | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Iterator Types.
FoSSaCS 2007: 17-31 |
| 46 | | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Linear Recursive Functions.
Rewriting, Computation and Proof 2007: 182-195 |
| 45 | | Ian Mackie,
Jorge Sousa Pinto,
Miguel Vilaça:
Visual Programming with Recursion Patterns in Interaction Nets.
ECEASST 6: (2007) |
| 44 | | Jean-Pierre Jouannaud,
Ian Mackie:
Preface.
Electr. Notes Theor. Comput. Sci. 171(3): 1-2 (2007) |
| 43 | | 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) |
| 42 | | 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) |
| 41 | | Ian Mackie:
Preface.
Electr. Notes Theor. Comput. Sci. 176(1): 1-2 (2007) |
| 40 | | Ian Mackie,
Detlef Plump:
Preface.
Electr. Notes Theor. Comput. Sci. 72(1): 1-2 (2007) |
| 39 | | 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) |
| 38 | | Ian Mackie,
Detlef Plump:
Theory and applications of term graph rewriting: introduction.
Mathematical Structures in Computer Science 17(3): 361-362 (2007) |
| 37 | | Maribel Fernández,
Ian Mackie:
More developments in computational models: introduction.
Mathematical Structures in Computer Science 17(4): 585-586 (2007) |
| 2006 |
|---|
| 36 | | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
The Power of Linear Functions.
CSL 2006: 119-134 |
| 35 | | Maribel Fernández,
Ian Mackie:
Preface.
Electr. Notes Theor. Comput. Sci. 135(3): 1-2 (2006) |
| 34 | | 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) |
| 33 | | Maribel Fernández,
Ian Mackie:
Developments in computational models: introduction.
Mathematical Structures in Computer Science 16(4): 553-555 (2006) |
| 2005 |
|---|
| 32 | | Ian Mackie:
Encoding Strategies in the Lambda Calculus with Interaction Nets.
IFL 2005: 19-36 |
| 31 | | 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 | | Ian Mackie:
Towards a Programming Language for Interaction Nets.
Electr. Notes Theor. Comput. Sci. 127(5): 133-151 (2005) |
| 29 | | 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 | | Ian Mackie:
Interaction Net Implementation of Additive and Multiplicative Structures.
J. Log. Comput. 15(2): 219-237 (2005) |
| 27 | | 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 | | Maribel Fernández,
Murdoch Gabbay,
Ian Mackie:
Nominal rewriting systems.
PPDP 2004: 108-119 |
| 25 | | Ian Mackie:
Efficient lambda-Evaluation with Interaction Nets.
RTA 2004: 155-169 |
| 2003 |
|---|
| 24 | | François-Régis Sinot,
Maribel Fernández,
Ian Mackie:
Efficient Reductions with Director Strings.
RTA 2003: 46-60 |
| 23 | | Maribel Fernández,
Ian Mackie,
Paula Severi,
Nora Szasz:
Reduction Strategies for Program Extraction.
CLEI Electron. J. 6(1): (2003) |
| 22 | | Maribel Fernández,
Ian Mackie:
Operational equivalence for interaction nets.
Theor. Comput. Sci. 297(1-3): 157-181 (2003) |
| 2002 |
|---|
| 21 | | Maribel Fernández,
Ian Mackie:
Call-by-Value lambda-Graph Rewriting Without Rewriting.
ICGT 2002: 75-89 |
| 20 | | 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 | | 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 | | 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 | | 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 | | Ian Mackie,
Leopoldo Román,
Samson Abramsky:
An internal language for autonomous categories.
Applied Categorical Structures 1(3): 311-343 (1993) |
Data released under the ODC-BY 1.0 license — See also our legal information page