Jelena Ivetic
Identifiers
- name variant Jelena Ivetic 0.60 · backfill
Papers (2)
- A journey through resource control lambda calculi and explicit substitution using intersection types (an account) math.LO · 2013 · author #2
- Resource control and strong normalisation math.LO · 2011 · author #2
Mentions
Frequent Coauthors
- Pierre Lescanne (LIP) 2 shared papers
- Silvia Ghilezan 2 shared papers
- Silvia Likavec 2 shared papers