Ian Mackie
AuthID: R-00F-8S8
1
TÃTULO: Linearity: A Roadmap
AUTORES: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 4
AUTORES: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 4
2
TÃTULO: Linearity in Computation
AUTORES: Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2014, FONTE: J. Log. Comput., VOLUME: 24, NÚMERO: 3
AUTORES: Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2014, FONTE: J. Log. Comput., VOLUME: 24, NÚMERO: 3
3
TÃTULO: Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012 Full Text
AUTORES: Sandra Alves ; Ian Mackie;
PUBLICAÇÃO: 2012, FONTE: LINEARITY, VOLUME: 101
AUTORES: Sandra Alves ; Ian Mackie;
PUBLICAÇÃO: 2012, FONTE: LINEARITY, VOLUME: 101
INDEXADO EM: 
DBLP 
CrossRef
DBLP CrossRef4
TÃTULO: Proceedings 2nd International Workshop on Linearity. Preface Full Text
AUTORES: Sandra Alves ; Ian Mackie;
PUBLICAÇÃO: 2012, FONTE: Electron. Proc. Theor. Comput. Sci. - Electronic Proceedings in Theoretical Computer Science - EPTCS, VOLUME: 101
AUTORES: Sandra Alves ; Ian Mackie;
PUBLICAÇÃO: 2012, FONTE: Electron. Proc. Theor. Comput. Sci. - Electronic Proceedings in Theoretical Computer Science - EPTCS, VOLUME: 101
INDEXADO EM: CrossRef
CrossRef5
TÃTULO: Linearity and Recursion in a Typed Lambda-Calculus
AUTORES: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLICAÇÃO: 2011, FONTE: 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
AUTORES: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLICAÇÃO: 2011, FONTE: 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
TÃTULO: A new graphical calculus of proofs Full Text
AUTORES: Sandra Alves ; Maribel Fernández; Ian Mackie;
PUBLICAÇÃO: 2011, FONTE: Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011., VOLUME: 48
AUTORES: Sandra Alves ; Maribel Fernández; Ian Mackie;
PUBLICAÇÃO: 2011, FONTE: Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011., VOLUME: 48
7
TÃTULO: Linearity and iterator types for Gödel's System ℐ
AUTORES: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLICAÇÃO: 2010, FONTE: Higher-Order and Symbolic Computation, VOLUME: 23, NÚMERO: 1
AUTORES: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLICAÇÃO: 2010, FONTE: Higher-Order and Symbolic Computation, VOLUME: 23, NÚMERO: 1
8
TÃTULO: Preface Full Text
AUTORES: Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2010, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 22
AUTORES: Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2010, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 22
INDEXADO EM: 
Scopus CrossRef
Scopus CrossRef9
TÃTULO: Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009 PDF
AUTORES: Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2009, FONTE: LINEARITY, VOLUME: 22
AUTORES: Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2009, FONTE: LINEARITY, VOLUME: 22
INDEXADO EM: DBLP 
arXiv
DBLP arXiv10
TÃTULO: Minimality in a Linear Calculus with Iteration
AUTORES: Alves, S ; Florido, M ; Mackie, I; Sinot, FR;
PUBLICAÇÃO: 2008, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 204, NÚMERO: C
AUTORES: Alves, S ; Florido, M ; Mackie, I; Sinot, FR;
PUBLICAÇÃO: 2008, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 204, NÚMERO: C
