Silvia Ghilezan
Title
Cited by
Cited by
Year
Lambda calculus with types
H Barendregt, W Dekkers, R Statman
Cambridge University Press, 2013
2982013
Strong normalization and typability with intersection types
S Ghilezan
Notre Dame Journal of Formal Logic 37 (1), 44-52, 1996
751996
Lambda terms for natural deduction, sequent calculus and cut elimination
HP Barendregt, S Ghilezan
542000
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
502008
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
391997
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
252011
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
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida
arXiv preprint arXiv:1602.03593, 2016
192016
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
192010
Characterising strongly normalising intuitionistic sequent terms
JE Santo, S Ghilezan, J Ivetić
International Workshop on Types for Proofs and Programs, 85-99, 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
162008
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
Separating points by parallel hyperplanes—Characterization problem
S Ghilezan, J Pantovic, J Zunic
IEEE transactions on neural networks 18 (5), 1356-1363, 2007
142007
Photodegradation of organic pollutants on TiO2 P25 surfaces investigated by transmission FTIR spectroscopy under in situ UV-Vis irradiation
L Mino, C Negri, A Zecchina, G Spoto
Z. Phys. Chem 230, 1441-1451, 2016
132016
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
The system can't perform the operation now. Try again later.
Articles 1–20