Pedro Baltazar (University of Lisbon

Identifiers

• name variant Pedro Baltazar (University of Lisbon 0.60 · backfill

Papers (1)

1. Linearly Refined Session Types cs.LO · 2012 · author #1

Mentions

• 1211.4099 #1 · backfill · confidence 0.70 Pedro Baltazar (University of Lisbon

Frequent Coauthors

• Dimitris Mostrous (University of Lisbon 1 shared papers
• Faculty of Sciences 1 shared papers
• LaSIGE) 1 shared papers
• Vasco T. Vasconcelos (University of Lisbon 1 shared papers