Follow
Ian Mackie
Ian Mackie
Verified email at sussex.ac.uk
Title
Cited by
Cited by
Year
The geometry of interaction machine
I Mackie
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
1601995
Encouraging users to improve password security and memorability
M Yıldırım, I Mackie
International Journal of Information Security 18, 741-759, 2019
1442019
Lilac: A functional programming language based on linear logic
I Mackie
Journal of Functional Programming 4 (4), 395-433, 1994
1021994
The geometry of implementation
M Ian
PhD thesis, Department of Computing, Imperial College of Science, Technology …, 1994
891994
YALE: Yet another lambda evaluator based on interaction nets
I Mackie
Proceedings of the third ACM SIGPLAN international conference on Functional …, 1998
821998
Proof theory and automated deduction
J Goubault-Larrecq, I Mackie
Springer Science & Business Media, 2001
812001
Nominal rewriting systems
M Fernández, MJ Gabbay, I Mackie
Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004
692004
A calculus for interaction nets
M Fernández, I Mackie
International Conference on Principles and Practice of Declarative …, 1999
671999
Efficient λ-Evaluation with Interaction Nets
I Mackie
International Conference on Rewriting Techniques and Applications, 155-169, 2004
592004
Closed reduction: explicit substitutions without-conversion
M Fernández, I Mackie, FR Sinot
Mathematical Structures in Computer Science 15 (2), 343-381, 2005
532005
An internal language for autonomous categories
I Mackie, L Román, S Abramsky
Applied Categorical Structures 1, 311-343, 1993
431993
Interaction nets for linear logic
I Mackie
Theoretical Computer Science 247 (1-2), 83-140, 2000
352000
Closed reductions in the λ-calculus
M Fernández, I Mackie
Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999
331999
Gödel’s system T revisited
S Alves, M Fernández, M Florido, I Mackie
Theoretical Computer Science 411 (11-13), 1484-1500, 2010
302010
Semantic techniques in quantum computation
S Gay, I Mackie
Cambridge University Press, 2010
292010
The power of linear functions
S Alves, M Fernández, M Florido, I Mackie
International Workshop on Computer Science Logic, 119-134, 2006
292006
Encoding linear logic with interaction combinators
I Mackie, JS Pinto
Information and Computation 176 (2), 153-186, 2002
272002
Efficient reductions with director strings
FR Sinot, M Fernández, I Mackie
Rewriting Techniques and Applications: 14th International Conference, RTA …, 2003
262003
Interaction nets and term-rewriting systems
M Fernández, I Mackie
Theoretical Computer Science 190 (1), 3-39, 1998
261998
Call-by-Value λ-Graph Rewriting Without Rewriting
M Fernández, I Mackie
International Conference on Graph Transformation, 75-89, 2002
242002
The system can't perform the operation now. Try again later.
Articles 1–20