Jelena Ivetic

Identifiers

• name variant Jelena Ivetic 0.60 · backfill

Papers (2)

1. A journey through resource control lambda calculi and explicit substitution using intersection types (an account) math.LO · 2013 · author #2
2. Resource control and strong normalisation math.LO · 2011 · author #2

Mentions

• 1306.2283 #2 · backfill · confidence 0.70 Jelena Ivetic
• 1112.3455 #2 · backfill · confidence 0.70 Jelena Ivetic

Frequent Coauthors

• Pierre Lescanne (LIP) 2 shared papers
• Silvia Ghilezan 2 shared papers
• Silvia Likavec 2 shared papers