Silvia Ghilezan
Silvia Ghilezan
Bestätigte E-Mail-Adresse bei uns.ac.rs - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Lambda calculus with types
H Barendregt, W Dekkers, R Statman
Cambridge University Press, 2013
3172013
Strong normalization and typability with intersection types
S Ghilezan
Notre Dame Journal of Formal Logic 37 (1), 44-52, 1996
741996
Lambda terms for natural deduction, sequent calculus and cut elimination
HP Barendregt, S Ghilezan
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
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
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
Intersection and Union Types in the λ¯ μμ˜-calculus
DJ Dougherty, S Ghilezan, P Lescanne
Electronic Notes in Theoretical Computer Science 136, 153-172, 2005
212005
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
212004
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
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
182019
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
172008
Separating points by parallel hyperplanes—Characterization problem
S Ghilezan, J Pantovic, J Zunic
IEEE transactions on neural networks 18 (5), 1356-1363, 2007
172007
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20