Home › Publications › Publications by Year

CRACS Publicatons

Export 3 results:
Sort by: Author Title [ Year (Desc)]
Filters: Author is Ian Mackie  [Clear All Filters]
2014
Sandra Alves and Maribel Fernández and Mário Florido and Ian Mackie, "Linearity: A Roadmap", in Journal of Logic and Computation, vol. 24, pp.513–529, June 2014.
Sandra Alves and Maribel Fernández and Mário Florido and Ian Mackie, "Linearity: A Roadmap", in J. Log. Comput., vol. 24, pp.513–529, 2014.
2010
Sandra Alves and Maribel Fernández and Mário Florido and Ian Mackie, "Gödel's system T revisited", in Theoretical Computer Science, vol. 411, pp.1484–1500, March 2010.