Sandra Alves (University of Porto)

Identifiers

• name variant Sandra Alves (University of Porto) 0.60 · backfill

Papers (3)

1. Proceedings Third International Workshop on Linearity cs.LO · 2015 · author #1
2. Proceedings 2nd International Workshop on Linearity cs.LO · 2012 · author #1
3. A new graphical calculus of proofs cs.LO · 2011 · author #1

Mentions

• 1502.04419 #1 · backfill · confidence 0.70 Sandra Alves (University of Porto)
• 1211.3480 #1 · backfill · confidence 0.70 Sandra Alves (University of Porto)
• 1102.2655 #1 · backfill · confidence 0.70 Sandra Alves (University of Porto)

Frequent Coauthors

• Ian Mackie (\'Ecole Polytechnique) 1 shared papers
• Ian Mackie (Ecole Polytechnique) 1 shared papers
• Iliano Cervesato (Carnegie Mellon University) 1 shared papers
• Maribel Fern\'andez (King's College London) 1 shared papers