University of Lisbon)

Identifiers

• name variant University of Lisbon) 0.60 · backfill

Papers (2)

1. Inferring Types for Parallel Programs cs.PL · 2017 · author #3
2. Multiparty Sessions based on Proof Nets cs.LO · 2014 · author #3

Mentions

• 1406.3478 #3 · backfill · confidence 0.70 University of Lisbon)

Frequent Coauthors

• Faculty of Sciences 2 shared papers
• Aalborg University) 1 shared papers
• Dimitris Mostrous (LaSIGE 1 shared papers
• Francisco Martins (LaSIGE 1 shared papers
• Hans H\"uttel (Department of Computer Science 1 shared papers
• Vasco Thudichum Vasconcelos (Lasige 1 shared papers