Publications

Refined By:
Date Issued:  [2000 TO 2009]

Results 1-9 of 9 (Search time: 0.001 seconds).

Issue DateTitleAuthor(s)
11-Jan-2005Strong normalization of the dual classical sequent calculusDougherty D.; Gilezan, Silvia ; Lescanne P.; Likavec S.
21-Dec-2007Security types for dynamic web dataDezani-Ciancaglini M.; Gilezan, Silvia ; Pantović, Jovanka 
31-Feb-2003Reducibility: A ubiquitous method in lambda calculus with intersection typesGilezan, Silvia ; Likavec S.
419-Jul-2005Intersection and union types in the λ̄μμ̃-calculusDougherty D.; Gilezan, Silvia ; Lescanne P.
51-Jan-2001Confluence of untyped lambda calculus via simple typesGilezan, Silvia ; Kunčak V.
61-Jan-2004Characterizing strong normalization in a language with control operatorsDougherty D.; Gilezan, Silvia ; Lescanne P.
79-Jun-2008Characterising strongly normalising intuitionistic sequent termsEspírito Santo J.; Gilezan, Silvia ; Ivetić, Jelena 
828-May-2004Behavioural inverse limit λ-modelsDezani-Ciancaglini M.; Gilezan, Silvia ; Likavec S.
91-Dec-2008An approach to call-by-name delimited continuationsHerbelin H.; Gilezan, Silvia