Silvia Ghilezan

Identifiers

• name variant Silvia Ghilezan 0.60 · backfill

Papers (4)

1. Combining behavioural types with security analysis cs.PL · 2015 · author #5
2. A journey through resource control lambda calculi and explicit substitution using intersection types (an account) math.LO · 2013 · author #1
3. Computational interpretation of classical logic with explicit structural rules cs.LO · 2012 · author #1
4. Resource control and strong normalisation math.LO · 2011 · author #1

Mentions

• 1510.02229 #5 · backfill · confidence 0.70 Silvia Ghilezan
• 1306.2283 #1 · backfill · confidence 0.70 Silvia Ghilezan
• 1203.4754 #1 · backfill · confidence 0.70 Silvia Ghilezan
• 1112.3455 #1 · backfill · confidence 0.70 Silvia Ghilezan

Frequent Coauthors

• Pierre Lescanne (LIP) 3 shared papers
• Jelena Ivetic 2 shared papers
• Silvia Likavec 2 shared papers
• Bernardo Toninho 1 shared papers
• Dragisa Zunic 1 shared papers
• Hugo Torres Vieira 1 shared papers
• Ilaria Castellani 1 shared papers
• Jorge A. P\'erez 1 shared papers
• Jovanka Pantovic 1 shared papers
• Mariangiola Dezani-Ciancaglini 1 shared papers
• Massimo Bartoletti 1 shared papers
• Peter Thiemann 1 shared papers
• Pierre-Malo Deni\'elou 1 shared papers