Likavec, Silvia

Year from:

Year to:

Results 61-66 of 66 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
2004	A core calculus of mixins and incomplete objects	Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia	Conference Paper	Mp. category will be shown later
2004	Understanding untyped λµµ calculus	Lescanne, Pierre; Likavec, Silvia	Report works	Mp. category will be shown later
2004	A core calculus of higher-order mixins and classes	Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia	Conference Paper	Mp. category will be shown later
2003	Extensions of the reducibility method	Ghilezan, Silvia ; Likavec, Silvia	Conference Paper	Mp. category will be shown later
2003	Reducibility: A ubiquitous method in lambda calculus with intersection types	Ghilezan, Silvia ; Likavec, Silvia	Article	Mp. category will be shown later
2001	Reducibility method for termination properties of typed lambda terms	Ghilezan, Silvia ; Kunčak, Viktor ; Likavec, Silvia	Conference Paper	Mp. category will be shown later