Follow
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
761996
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
542008
Lambda terms for natural deduction, sequent calculus and cut elimination
H Barendregt, S Ghilezan
Journal of Functional Programming 10 (1), 121-134, 2000
542000
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
462008
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
421997
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
382019
Behavioural inverse limit λ-models
M Dezani-Ciancaglini, S Ghilezan, S Likavec
Theoretical Computer Science 316 (1-3), 49-74, 2004
352004
Precise subtyping for synchronous multiparty sessions
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida
arXiv preprint arXiv:1602.03593, 2016
322016
Precise subtyping for asynchronous multiparty sessions
S Ghilezan, J Pantović, I Prokić, A Scalas, N Yoshida
ACM Transactions on Computational Logic 24 (2), 1-73, 2023
282023
Strong normalization of the dual classical sequent calculus
D Dougherty, S Ghilezan, P Lescanne, S Likavec
Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005
282005
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
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
Characterising strongly normalising intuitionistic sequent terms
J Espírito Santo, S Ghilezan, J Ivetić
Types for Proofs and Programs: International Conference, TYPES 2007 …, 2008
182008
Separating points by parallel hyperplanes—Characterization problem
S Ghilezan, J Pantovic, J Zunic
IEEE transactions on neural networks 18 (5), 1356-1363, 2007
182007
Types for role-based access control of dynamic web data
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović
Functional and Constraint Logic Programming: 19th International Workshop …, 2011
172011
Combining behavioural types with security analysis
M Bartoletti, I Castellani, PM Deniélou, M Dezani-Ciancaglini, S Ghilezan, ...
Journal of Logical and Algebraic Methods in Programming 84 (6), 763-780, 2015
162015
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
162002
Security types for dynamic web data
M Dezani-Ciancaglini, S Ghilezan, J Pantović, D Varacca
Theoretical Computer Science 402 (2-3), 156-171, 2008
152008
The system can't perform the operation now. Try again later.
Articles 1–20