BSc(Eng) ACGI MSc DIC PhD MBCS FHEA

iancmackie @ gmail.com

Undergraduate Topics in Computer Science, Springer

Theory and Practice of Software Ltd

Maribel Fernández and Ian Mackie. More developments in computational models: introduction.Mathematical Structures in Computer Science. 17(4), 2007

Ian Mackie and Shinya Sato. A calculus for interaction nets based on the linear chemical abstract machine. 2008.

Sandra Alves, Mário Florido, Ian Mackie and François-Régis Sinot. Minimality in a Linear Calculus with Iteration, 2008.

Sandra Alves, Maribel Fernández, Mário Florido and Ian Mackie. Linear Recursive Functions, LNCS, 2008.

Sandra Alves, Maribel Fernández, Mário Florido and Ian Mackie. Godel's System T Revisited, 2007.

Ian Mackie and Detlef Plump. Theory and applications of term graph rewriting: introduction.Mathematical Structures in Computer Science. 17(3), 2007.

Sandra Alves, Maribel Fernández, Mário Florido and Ian Mackie. Very Primitive Recursive Functions. Computation and Logic in the Real World, CiE 2007, Quaderni del Dipartimento di Scienze Matematiche e Informatiche ``Roberto Magari'', 2007.

Sandra Alves, Maribel Fernández, Mário Florido and Ian Mackie. Iterator Types. In proceedings of FOSSACS 2007, LNCS 4423, 2007.

Ian Mackie, Jorge Sousa Pinto and Miguel Vilaça.Visual Programming with Recursion Patterns in Interaction Nets. Electronic Communications of the EASST, Volume 6, 2007.

- Editor-in-chief, Undergraduate Topics in Computer Science, Springer
- Editor-in-chief,
*Texts in Computing*, College Publications - Advisory Board member, Programs and Proofs series, Polimetrica
- Editor, The Programming Languages Column,
*EATCS Bulletin*

The original of this page is www.ianmackie.com, 1&1