Ian Mackie
AuthID: R-00F-8S8
1
TITLE: Linearity: A Roadmap
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 4
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 4
2
TITLE: Linearity in Computation
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2014, SOURCE: J. Log. Comput., VOLUME: 24, ISSUE: 3
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2014, SOURCE: J. Log. Comput., VOLUME: 24, ISSUE: 3
3
TITLE: Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012 Full Text
AUTHORS: Sandra Alves ; Ian Mackie;
PUBLISHED: 2012, SOURCE: LINEARITY, VOLUME: 101
AUTHORS: Sandra Alves ; Ian Mackie;
PUBLISHED: 2012, SOURCE: LINEARITY, VOLUME: 101
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef4
TITLE: Proceedings 2nd International Workshop on Linearity. Preface Full Text
AUTHORS: Sandra Alves ; Ian Mackie;
PUBLISHED: 2012, SOURCE: Electron. Proc. Theor. Comput. Sci. - Electronic Proceedings in Theoretical Computer Science - EPTCS, VOLUME: 101
AUTHORS: Sandra Alves ; Ian Mackie;
PUBLISHED: 2012, SOURCE: Electron. Proc. Theor. Comput. Sci. - Electronic Proceedings in Theoretical Computer Science - EPTCS, VOLUME: 101
INDEXED IN: CrossRef
CrossRef5
TITLE: Linearity and Recursion in a Typed Lambda-Calculus
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2011, SOURCE: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2011, SOURCE: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING
6
TITLE: A new graphical calculus of proofs Full Text
AUTHORS: Sandra Alves ; Maribel Fernández; Ian Mackie;
PUBLISHED: 2011, SOURCE: Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011., VOLUME: 48
AUTHORS: Sandra Alves ; Maribel Fernández; Ian Mackie;
PUBLISHED: 2011, SOURCE: Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011., VOLUME: 48
7
TITLE: Linearity and iterator types for Gödel's System ℐ
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLISHED: 2010, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 23, ISSUE: 1
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLISHED: 2010, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 23, ISSUE: 1
8
TITLE: Preface Full Text
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 22
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 22
INDEXED IN: 
Scopus CrossRef
Scopus CrossRef9
TITLE: Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009 PDF
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2009, SOURCE: LINEARITY, VOLUME: 22
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2009, SOURCE: LINEARITY, VOLUME: 22
INDEXED IN: DBLP 
arXiv
DBLP arXiv10
TITLE: Minimality in a Linear Calculus with Iteration
AUTHORS: Alves, S ; Florido, M ; Mackie, I; Sinot, FR;
PUBLISHED: 2008, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 204, ISSUE: C
AUTHORS: Alves, S ; Florido, M ; Mackie, I; Sinot, FR;
PUBLISHED: 2008, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 204, ISSUE: C
