Gilezan, Silvia

Type

Date issued

Mp-cat.

74 М30/М60
13 M20/M50
10 M22
8 M10/M40
6 other
3 M21
3 M23
1 M53
1 M70

Date issued - custom

Year from:

Year to:

Results 81-100 of 119 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
2012	Računske interpretacije intuicionističke i klasične logike	Gilezan, Silvia	Conference Paper	Mp. category will be shown later
2012	Proof Theory Chapter 6C	Gilezan, Silvia	Book parts	Mp. category will be shown later
2012	Intersection types and related systems	Gilezan, Silvia ; Paolini, Luca	Article	22M22
2012	Privacy for Linked Data	Ghilezan, Silvia	Conference Paper	Mp. category will be shown later
2012	Intersection types for explicit substitution with resource control	Ivetić, Jelena ; Silvia Gilezan ; Pierre Lescanne; Silvia Likavec	Conference Paper	Mp. category will be shown later
2011	Resource control calculi	Gilezan, Silvia	Conference Paper	Mp. category will be shown later
2011	Intersection types for the resource control lambda calculi	Silvia Ghilezan ; Ivetić, Jelena ; Silvia Likavec ; Pierre Lescanne	Conference Paper	Mp. category will be shown later
2011	Intuitionistic sequent-style calculus with explicit structural rules	Gilezan, Silvia ; Žunić, Dragiša ; Ivetić, Jelena ; Lescanne, Pierre	Conference Paper	Mp. category will be shown later
2011	Types for role-based access control of dynamic web data	Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Mariangiola, Dezani-Cianciaglini	Conference Paper	Mp. category will be shown later
2010	Resource control in sequent lambda calculus	Gilezan, Silvia	Conference Paper	Mp. category will be shown later
2010	Computational interpretations of logic	Gilezan, Silvia	Conference Paper	Mp. category will be shown later
2009	Computational interpretations of logics	Ghilezan, Silvia ; Likavec, Silvia	Article	Mp. category will be shown later
2005	Strong normalization of the dual classical sequent calculus	Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre; Likavec, Silvia	Article	23M23
2004	Behavioural inverse limit λ-models	Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia	Article	22M22
2004	Classical Proofs, Typed Processes, and Intersection Types	Ghilezan, Silvia ; Lescanne, Pierre	Article	22M22
2003	Extensions of the reducibility method	Ghilezan, Silvia ; Likavec, Silvia	Conference Paper	Mp. category will be shown later
2003	Two behavioural lambda models	Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia	Article	22M22
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
2000	Intersection types and topologies in lambda calculus	Ghilezan, Silvia	Conference Paper	Mp. category will be shown later