Sandra Maria Mendes Alves


AuthID: R-000-G8E

Confirmed Publications: 47



31
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
INDEXED IN: CrossRef
IN MY: ORCID
32
33
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
INDEXED IN: DBLP CrossRef: 6
IN MY: ORCID | DBLP
34
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
35
TITLE: G&ouml;del&rsquo;s system <math><mi>T</mi></math> revisited   Full Text
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: Theoretical Computer Science, VOLUME: 411, ISSUE: 11-13
INDEXED IN: CrossRef: 17
IN MY: ORCID
36
TITLE: Godel's system T revisited  Full Text
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
37
TITLE: Linear Recursion PDF
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1001.3368
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
38
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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
39
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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
40
TITLE: Iterator types
AUTHORS: Sandra Alves ; Maribel Fernndez; Mario Florido ; Ian Mackie;
PUBLISHED: 2007, SOURCE: 10th International Conference on Fundamental Approaches to Software Engineering in Foundations of Software Science and Computational Structures, Proceedings, VOLUME: 4423
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP
Página 4 de 5. Total de resultados: 47.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service