Pedro Baltazar (University of Lisbon
Identifiers
- name variant Pedro Baltazar (University of Lisbon 0.60 · backfill
Papers (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