Bernardo Toninho

Identifiers

• name variant Bernardo Toninho 0.60 · backfill

Papers (6)

1. Domain-Aware Session Types (Extended Version) cs.LO · 2019 · author #4
2. Depending on Session-Typed Processes cs.PL · 2018 · author #1
3. On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings cs.LO · 2017 · author #1
4. Fencing off Go: Liveness and Safety for Channel-based Programming (extended version) cs.PL · 2016 · author #3
5. Combining behavioural types with security analysis cs.PL · 2015 · author #9
6. Constructive Provability Logic cs.LO · 2012 · author #2

Mentions

• 1510.02229 #9 · backfill · confidence 0.70 Bernardo Toninho
• 1205.6402 #2 · backfill · confidence 0.70 Bernardo Toninho

Frequent Coauthors

• Nobuko Yoshida 3 shared papers
• Jorge A. P\'erez 2 shared papers
• Frank Pfenning 1 shared papers
• Hugo Torres Vieira 1 shared papers
• Ilaria Castellani 1 shared papers
• Jovanka Pantovic 1 shared papers
• Julien Lange 1 shared papers
• Lu\'is Caires 1 shared papers
• Mariangiola Dezani-Ciancaglini 1 shared papers
• Massimo Bartoletti 1 shared papers
• Nicholas Ng 1 shared papers
• Peter Thiemann 1 shared papers
• Pierre-Malo Deni\'elou 1 shared papers
• Robert J. Simmons 1 shared papers
• Silvia Ghilezan 1 shared papers