All available from Amazon
Research topics: Lambda Calculus, Interaction Nets, Linear Logic, Geometry of Interaction.
Recent Publications (full list, see also DBLP)
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. To appear 2008.
Sandra Alves, Mário Florido, Ian Mackie and François-Régis Sinot. Minimality in a Linear Calculus with Iteration, to appear 2008.
Sandra Alves, Maribel Fernández, Mário Florido and Ian Mackie. Linear Recursive Functions, LNCS, to appear 2008.
Sandra Alves, Maribel Fernández, Mário Florido and Ian Mackie. Godel's System T Revisited, to appear 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.
Research Students
Editorial Work
- 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
- Guest editor, Special Issue MSCS on Applications of Term Graph Rewriting
- Guest editor, Special Issue MSCS on Developments in Computational Models
- Co-editor, ENTCS Proceedings of the First Workshop on Developments in Computational Models
- Editor, ENTCS Proceedings of the third Workshop on Term Graph Rewriting
Steering Committees
Current Events
- PC Member: WRS 2008 8th International Workshop, Reduction Strategies in Rewriting and Programming.
The original of this page is www.ianmackie.com, 1&1