×
Compute Distance To:
Author ID: likavec.silvia Recent zbMATH articles by "Likavec, Silvia"
Published as: Likavec, Silvia
External Links: MGP
Documents Indexed: 9 Publications since 2003
Co-Authors: 8 Co-Authors with 9 Joint Publications
182 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 20 times in 16 Documents Cited by Year
Behavioural inverse limit \(\lambda\)-models. Zbl 1055.03014
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Likavec, Silvia
7
2004
Strong normalization of the dual classical sequent calculus. Zbl 1143.03360
Dougherty, Daniel; Ghilezan, Silvia; Lescanne, Pierre; Likavec, Silvia
4
2005
A core calculus of higher-order mixins and classes. Zbl 1100.68544
Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia
3
2004
Characterising strongly normalising intuitionistic terms. Zbl 1277.03003
Espírito Santo, José; Ivetić, Jelena; Likavec, Silvia
3
2012
Safe object composition in the presence of subtyping. Zbl 1171.68413
Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia
1
2005
Intersection types for the resource control lambda calculi. Zbl 1351.03008
Ghilezan, Silvia; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia
1
2011
Computational interpretations of logics. Zbl 1313.03002
Ghilezan, Silvia; Likavec, Silvia
1
2009
Characterising strongly normalising intuitionistic terms. Zbl 1277.03003
Espírito Santo, José; Ivetić, Jelena; Likavec, Silvia
3
2012
Intersection types for the resource control lambda calculi. Zbl 1351.03008
Ghilezan, Silvia; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia
1
2011
Computational interpretations of logics. Zbl 1313.03002
Ghilezan, Silvia; Likavec, Silvia
1
2009
Strong normalization of the dual classical sequent calculus. Zbl 1143.03360
Dougherty, Daniel; Ghilezan, Silvia; Lescanne, Pierre; Likavec, Silvia
4
2005
Safe object composition in the presence of subtyping. Zbl 1171.68413
Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia
1
2005
Behavioural inverse limit \(\lambda\)-models. Zbl 1055.03014
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Likavec, Silvia
7
2004
A core calculus of higher-order mixins and classes. Zbl 1100.68544
Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia
3
2004

Citations by Year