vix.ing · top · new · best · stats · spec

Jelena Ivetic

  1. A journey through resource control lambda calculi and explicit substitution using intersection types (an account)
    2013/06/10 by Silvia Ghilezan, Ghilezan, Silvia, Jelena Ivetic +5 · 1 citation
    Computer Science · Mathematics · #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #cs.LO #math.LO