Academic activities: Assistant Professor DCC-FCUP Researcher at CRACS, INESC-TEC FSCD Conference Steering Committee (Publicity Chair) Linearity Workshop Steering Committee MSCS Editorial Board IFCoLog FLAP Editorial Board IFCoLog Executive Board Academic Degrees: PhD in Computer Science, University of Porto (2007) MSc in Informatics, University of Porto (2001) Bsc in Computer Science, University of Porto (1999) Research Topics: Linearity, Lambda Calculus, Type Theory Formal Specifications, Access Control Models
Academic activities:
2022
Authors
Alves, S; Kiefer, S; Sokolova, A;
Publication
ACM SIGLOG News
Abstract
2022
Authors
Alves, S; Ventura, D;
Publication
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
Abstract
2022
Authors
Alves, S; Florido, M;
Publication
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
Abstract
In this paper we define several notions of term expansion, used to define terms with less sharing, but with the same computational properties of terms typable in an intersection type system. Expansion relates terms typed by associative, commutative and idempotent intersections with terms typed in the Curry type system and the relevant type system; terms typed by non-idempotent intersections with terms typed in the affine and linear type systems; and terms typed by non-idempotent and non-commutative intersections with terms typed in an ordered type system. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.
2021
Authors
Alves, S; Wassermann, R;
Publication
Math. Struct. Comput. Sci.
Abstract
2021
Authors
Alves, S; Ramos, M;
Publication
Electronic Proceedings in Theoretical Computer Science, EPTCS
Abstract
Supervised Thesis
2022
Author
Jorge Miguel Soares Ramos
Institution
UP-FCNAUP
2022
Author
Fábio Daniel Martins Reis
Institution
UP-FCUP
2021
Author
Jorge Miguel Soares Ramos
Institution
UP-FCNAUP
2021
Author
Jorge Paulino Iglésias
Institution
UP-FCUP
2021
Author
Jorge Paulino Iglésias
Institution
UP-FCUP
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.
