Statistics
Publications
2
Citations
30
H-Index
2
Active since
2017
Affiliations
University of Lisbon(Current)
Andreia Mordido is an author at University of Lisbon specializing in computer science, computing, and mathematics.
Publications per year
2017–2022
2
2
Polymorphic lambda calculus with context-free session types
Bernardo Pinto de Almeida, Andreia Mordido, Peter Thiemann et al. · Information and Computation · 2022 · 19 citations · Full text
1–2 of 2