| 2008 |
|---|
| 14 | EE | François-Régis Sinot:
Sub-lambda-calculi, Classified.
Electr. Notes Theor. Comput. Sci. 203(1): 123-133 (2008) |
| 13 | EE | François-Régis Sinot:
Complete Laziness: a Natural Semantics.
Electr. Notes Theor. Comput. Sci. 204: 129-145 (2008) |
| 12 | EE | 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 |
|---|
| 11 | EE | Florent Kirchner,
François-Régis Sinot:
Rule-Based Operational Semantics for an Imperative Language.
Electr. Notes Theor. Comput. Sci. 174(1): 35-47 (2007) |
| 10 | 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) |
| 2006 |
|---|
| 9 | EE | François-Régis Sinot:
Token-Passing Nets: Call-by-Need for Free.
Electr. Notes Theor. Comput. Sci. 135(3): 129-139 (2006) |
| 8 | 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) |
| 7 | EE | François-Régis Sinot:
Call-by-need in token-passing nets.
Mathematical Structures in Computer Science 16(4): 639-666 (2006) |
| 2005 |
|---|
| 6 | EE | François-Régis Sinot:
Call-by-Name and Call-by-Value as Token-Passing Interaction Nets.
TLCA 2005: 386-400 |
| 5 | 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) |
| 4 | 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) |
| 3 | EE | François-Régis Sinot:
Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting.
J. Log. Comput. 15(2): 201-218 (2005) |
| 2 | 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) |
| 2003 |
|---|
| 1 | EE | François-Régis Sinot,
Maribel Fernández,
Ian Mackie:
Efficient Reductions with Director Strings.
RTA 2003: 46-60 |
