Silvia Ghilezan
Title
Cited by
Cited by
Year
Strong normalization and typability with intersection types
S Ghilezan
Notre Dame Journal of Formal Logic 37 (1), 44-52, 1996
721996
Lambda terms for natural deduction, sequent calculus and cut elimination
H Barendregt, S Ghilezan
Journal of Functional Programming 10 (1), 121-134, 2000
562000
An approach to call-by-name delimited continuations
H Herbelin, S Ghilezan
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008
512008
Characterizing strong normalization in the Curien–Herbelin symmetric lambda calculus: extending the Coppo–Dezani heritage
DJ Dougherty, S Ghilezan, P Lescanne
Theoretical Computer Science 398 (1-3), 114-128, 2008
442008
The" relevance" of intersection and union types
M Dezani-Ciancaglini, S Ghilezan, B Venneri
Notre Dame Journal of Formal Logic 38 (2), 246-269, 1997
401997
Behavioural inverse limit λ-models
M Dezani-Ciancaglini, S Ghilezan, S Likavec
Theoretical Computer Science 316 (1-3), 49-74, 2004
372004
Strong normalization of the dual classical sequent calculus
D Dougherty, S Ghilezan, P Lescanne, S Likavec
International Conference on Logic for Programming Artificial Intelligence …, 2005
292005
Intersection types for the resource control lambda calculi
S Ghilezan, J Ivetić, P Lescanne, S Likavec
International Colloquium on Theoretical Aspects of Computing, 116-134, 2011
262011
Precise subtyping for synchronous multiparty sessions
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida
arXiv preprint arXiv:1602.03593, 2016
222016
Characterizing strong normalization in a language with control operators
D Dougherty, S Ghilezan, P Lescanne
Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004
222004
Intersection and Union Types in the λ¯ μμ˜-calculus
DJ Dougherty, S Ghilezan, P Lescanne
Electronic Notes in Theoretical Computer Science 136, 153-172, 2005
212005
Precise subtyping for synchronous multiparty sessions
S Ghilezan, S Jakšić, J Pantović, A Scalas, N Yoshida
Journal of Logical and Algebraic Methods in Programming 104, 127-173, 2019
202019
Types for role-based access control of dynamic web data
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović
International Workshop on Functional and Constraint Logic Programming, 1-29, 2010
202010
Characterising strongly normalising intuitionistic sequent terms
JE Santo, S Ghilezan, J Ivetić
International Workshop on Types for Proofs and Programs, 85-99, 2007
192007
Separating points by parallel hyperplanes—Characterization problem
S Ghilezan, J Pantovic, J Zunic
IEEE transactions on neural networks 18 (5), 1356-1363, 2007
182007
Security types for dynamic web data
M Dezani-Ciancaglini, S Ghilezan, J Pantović, D Varacca
Theoretical Computer Science 402 (2-3), 156-171, 2008
172008
Reducibility: A ubiquitous method in lambda calculus with intersection types
S Ghilezan, S Likavec
Electronic Notes in Theoretical Computer Science 70 (1), 106-123, 2003
162003
Two behavioural lambda models
M Dezani-Ciancaglini, S Ghilezan
International Workshop on Types for Proofs and Programs, 127-147, 2002
152002
Intuitionistic sequent-style calculus with explicit structural rules
S Ghilezan, J Ivetić, P Lescanne, D Žunić
International Tbilisi Symposium on Logic, Language, and Computation, 101-124, 2009
132009
Precise subtyping for asynchronous multiparty sessions
S Ghilezan, J Pantović, I Prokić, A Scalas, N Yoshida
Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021
122021
The system can't perform the operation now. Try again later.
Articles 1–20