The geometry of interaction machine I Mackie Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 161 | 1995 |
Encouraging users to improve password security and memorability M Yıldırım, I Mackie International Journal of Information Security 18, 741-759, 2019 | 152 | 2019 |
Lilac: A functional programming language based on linear logic I Mackie Journal of Functional Programming 4 (4), 395-433, 1994 | 102 | 1994 |
The geometry of implementation M Ian PhD thesis, Department of Computing, Imperial College of Science, Technology …, 1994 | 89 | 1994 |
YALE: Yet another lambda evaluator based on interaction nets I Mackie Proceedings of the third ACM SIGPLAN international conference on Functional …, 1998 | 83 | 1998 |
Proof theory and automated deduction J Goubault-Larrecq, I Mackie Springer Science & Business Media, 2001 | 82 | 2001 |
Nominal rewriting systems M Fernández, MJ Gabbay, I Mackie Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004 | 69 | 2004 |
A calculus for interaction nets M Fernández, I Mackie International Conference on Principles and Practice of Declarative …, 1999 | 67 | 1999 |
Efficient λ-Evaluation with Interaction Nets I Mackie International Conference on Rewriting Techniques and Applications, 155-169, 2004 | 60 | 2004 |
Closed reduction: explicit substitutions without-conversion M Fernández, I Mackie, FR Sinot Mathematical Structures in Computer Science 15 (2), 343-381, 2005 | 53 | 2005 |
An internal language for autonomous categories I Mackie, L Román, S Abramsky Applied Categorical Structures 1, 311-343, 1993 | 43 | 1993 |
Interaction nets for linear logic I Mackie Theoretical Computer Science 247 (1-2), 83-140, 2000 | 35 | 2000 |
Closed reductions in the λ-calculus M Fernández, I Mackie Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999 | 33 | 1999 |
Gödel’s system T revisited S Alves, M Fernández, M Florido, I Mackie Theoretical Computer Science 411 (11-13), 1484-1500, 2010 | 30 | 2010 |
Semantic techniques in quantum computation S Gay, I Mackie Cambridge University Press, 2010 | 29 | 2010 |
The power of linear functions S Alves, M Fernández, M Florido, I Mackie International Workshop on Computer Science Logic, 119-134, 2006 | 29 | 2006 |
Encoding linear logic with interaction combinators I Mackie, JS Pinto Information and Computation 176 (2), 153-186, 2002 | 28 | 2002 |
Efficient reductions with director strings FR Sinot, M Fernández, I Mackie Rewriting Techniques and Applications: 14th International Conference, RTA …, 2003 | 26 | 2003 |
Interaction nets and term-rewriting systems M Fernández, I Mackie Theoretical Computer Science 190 (1), 3-39, 1998 | 26 | 1998 |
Call-by-Value λ-Graph Rewriting Without Rewriting M Fernández, I Mackie International Conference on Graph Transformation, 75-89, 2002 | 24 | 2002 |