Andreia Mordido
ORCIDPublication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 30
Publications (10 Years): 30
Publications
- Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das
- Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
- Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das
- Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
- Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
- Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
- Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
- Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos
- Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
- Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos
- Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
- Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank PfenningPolarized Subtyping. CoRR (2022)
- Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos
- Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
- Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
- Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
- Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
- Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
- Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos
- Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
- Ankush Das, Henry DeYoung, Andreia Mordido, Frank PfenningNested Session Types. CoRR (2020)
- Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido
- Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
- Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos
- Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
- Andreia Mordido, Carlos Caleiro
- Carlos Caleiro, Filipe Casal, Andreia Mordido
- Carlos Caleiro, Filipe Casal, Andreia Mordido
- Andreia Mordido, Carlos Caleiro