Sandra Maria Mendes Alves


AuthID: R-000-G8E

Confirmed Publications: 55



11
TITLE: Structural Rules and Algebraic Properties of Intersection Types
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2022, SOURCE: ICTAC, VOLUME: 13572 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
12
TITLE: A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations
AUTHORS: Sandra Alves ; Jorge Iglésias;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2111.00588
INDEXED IN: DBLP
IN MY: ORCID
13
TITLE: An ML-style record calculus with extensible records  Full Text
AUTHORS: Sandra Alves ; Miguel Ramos ;
PUBLISHED: 2021, SOURCE: MFPS, VOLUME: 351
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
14
TITLE: Preface to special issue: LSFA 2017 and 2018
AUTHORS: Sandra Alves ; Renata Wassermann;
PUBLISHED: 2021, SOURCE: Math. Struct. Comput. Sci., VOLUME: 31, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
15
TITLE: EVL: A Typed Higher-order Functional Language for Events
AUTHORS: Alves, S ; Fernández, M; Ramos, M ;
PUBLISHED: 2020, SOURCE: 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 351
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
16
TITLE: A Quantitative Understanding of Pattern Matching
AUTHORS: Sandra Alves ; Delia Kesner; Daniel Ventura;
PUBLISHED: 2019, SOURCE: TYPES, VOLUME: 175
INDEXED IN: Scopus DBLP
IN MY: ORCID
17
TITLE: Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
AUTHORS: Alves, S ; Broda, S ;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
18
TITLE: Preface
AUTHORS: Sandra Alves ; Michele Pagani;
PUBLISHED: 2019, SOURCE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 293
INDEXED IN: Scopus
IN MY: ORCID
19
20
TITLE: Termination of lambda-calculus linearisation methods
AUTHORS: Sandra Alves ;
PUBLISHED: 2019, SOURCE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 292
INDEXED IN: Scopus
IN MY: ORCID
Page 2 of 6. Total results: 55.

footer slogan

Useful Links

Get Help

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