 | 2011 |
|---|
| 13 |       | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Linearity and recursion in a typed Lambda-calculus.
PPDP 2011: 173-182 |
| 12 | | Sandra Alves,
Maribel Fernández,
Ian Mackie:
A new graphical calculus of proofs
TERMGRAPH 2011: 69-84 |
| 2010 |
|---|
| 11 | | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Linear Recursion
CoRR abs/1001.3368: (2010) |
| 10 | | 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) |
| 9 | | 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) |
| 2008 |
|---|
| 8 | | 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 |
|---|
| 7 | | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Iterator Types.
FoSSaCS 2007: 17-31 |
| 6 | | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Linear Recursive Functions.
Rewriting, Computation and Proof 2007: 182-195 |
| 5 | | 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) |
| 2006 |
|---|
| 4 | | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
The Power of Linear Functions.
CSL 2006: 119-134 |
| 2005 |
|---|
| 3 | | Sandra Alves,
Mário Florido:
Weak linearization of the lambda calculus.
Theor. Comput. Sci. 342(1): 79-103 (2005) |
| 2003 |
|---|
| 2 | | Sandra Alves,
Mário Florido:
Linearization by Program Transformation.
LOPSTR 2003: 160-175 |
| 2002 |
|---|
| 1 | | Sandra Alves,
Mário Florido:
Type Inference using Constraint Handling Rules.
Electr. Notes Theor. Comput. Sci. 64: 56-72 (2002) |
Data released under the ODC-BY 1.0 license — See also our legal information page