Silvia Ghilezan

	2012
27		Silvia Ghilezan, Pierre Lescanne, Dragisa Zunic: Computational interpretation of classical logic with explicit structural rules CoRR abs/1203.4754: (2012)
	2011
26		Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec: Intersection Types for the Resource Control Lambda Calculi. ICTAC 2011: 116-134
25		Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec: Resource control and strong normalisation CoRR abs/1112.3455: (2011)
	2010
24		Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic: Types for Role-Based Access Control of Dynamic Web Data. WFLP 2010: 1-29
	2009
23		Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Dragisa Zunic: Intuitionistic Sequent-Style Calculus with Explicit Structural Rules. TbiLLC 2009: 101-124
	2008
22		Hugo Herbelin, Silvia Ghilezan: An approach to call-by-name delimited continuations. POPL 2008: 383-394
21		Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne: Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage. Theor. Comput. Sci. 398(1-3): 114-128 (2008)
20		Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca: Security types for dynamic web data. Theor. Comput. Sci. 402(2-3): 156-171 (2008)
	2007
19		José Espírito Santo, Silvia Ghilezan, Jelena Ivetic: Characterising Strongly Normalising Intuitionistic Sequent Terms. TYPES 2007: 85-99
18		Silvia Ghilezan, Jovanka Pantovic, Jovisa D. Zunic: Separating Points by Parallel Hyperplanes - Characterization Problem. IEEE Transactions on Neural Networks 18(5): 1356-1363 (2007)
	2006
17		Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic: Security Types for Dynamic Web Data. TGC 2006: 263-280
	2005
16		Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec: Strong Normalization of the Dual Classical Sequent Calculus. LPAR 2005: 169-183
15		Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne: Intersection and Union Types in the lambda-my-my/tilde-calculus. Electr. Notes Theor. Comput. Sci. 136: 153-172 (2005)
	2004
14		Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne: Characterizing strong normalization in a language with control operators. PPDP 2004: 155-166
13		Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec: Behavioural inverse limit lambda-models. Theor. Comput. Sci. 316(1): 49-74 (2004)
	2003
12		Silvia Ghilezan, Pierre Lescanne: Classical Proofs, Typed Processes, and Intersection Types: Extended Abstract. TYPES 2003: 226-241
	2002
11		Mariangiola Dezani-Ciancaglini, Silvia Ghilezan: Two Behavioural Lambda Models. TYPES 2002: 127-147
10		Silvia Ghilezan, Silvia Likavec: Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types. Electr. Notes Theor. Comput. Sci. 70(1): 106-123 (2002)
	2001
9		Silvia Ghilezan, Viktor Kuncak: Confluence of Untyped Lambda Calculus via Simple Types. ICTCS 2001: 38-49
8		Silvia Ghilezan: Full Intersection Types and Topologies in Lambda Calculus. J. Comput. Syst. Sci. 62(1): 1-14 (2001)
	2000
7		Silvia Ghilezan: Intersection Types and Topologies and Lambda Calculus. ICALP Satellite Workshops 2000: 303-304
6		Henk Barendregt, Silvia Ghilezan: Lambda terms for natural deduction, sequent calculus and cut elimination. J. Funct. Program. 10(1): 121-134 (2000)
	1997
5		Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri: The "Relevance" of Intersection and Union Types. Notre Dame Journal of Formal Logic 38(2): 246-269 (1997)
	1996
4		Silvia Ghilezan: Generalized Finitness of Developments in Typed Lambda Calculi. Journal of Automata, Languages and Combinatorics 1(4): 247-258 (1996)
3		Silvia Ghilezan: Strong Normalization and Typability with Intersection Types. Notre Dame Journal of Formal Logic 37(1): 44-52 (1996)
	1994
2		Silvia Ghilezan: Application of Typed Lambda Calculi in the Untyped Lambda Calculus. LFCS 1994: 129-139
	1993
1		Silvia Ghilezan: Inhabitation in Intersection and Union Type Assignment Systems. J. Log. Comput. 3(6): 671-685 (1993)

Coauthor Index

1	Hendrik Pieter Barendregt (Henk Barendregt)	[6]
2	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[5] [11] [13] [17] [20] [24]
3	Daniel J. Dougherty	[14] [15] [16] [21]
4	Hugo Herbelin	[22]
5	Jelena Ivetic	[19] [23] [25] [26]
6	Svetlana Jaksic	[24]
7	Viktor Kuncak	[9]
8	Pierre Lescanne	[12] [14] [15] [16] [21] [23] [25] [26] [27]
9	Silvia Likavec	[10] [13] [16] [25] [26]
10	Jovanka Pantovic	[17] [18] [20] [24]
11	José Espírito Santo	[19]
12	Daniele Varacca	[20]
13	Betti Venneri	[5]
14	Dragisa Zunic	[23] [27]
15	Jovisa D. Zunic	[18]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page