Dr Ian Mackie
BSc(Eng) ACGI MSc DIC PhD MBCS FHEA
iancmackie @ gmail.com



Undergraduate Topics in Computer Science, Springer
Theory and Practice of Software Ltd

Research in Computer Science

Lambda Calculus, Interaction Nets, Linear Logic, Geometry of Interaction.

Recent Publications (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. 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.

Research Students

Editorial Work

Steering Committees


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