Gilezan, Silvia

Мрежа сарадње Статистика Имејл упозорење RSS Feed

Publications

Прецизирано по:
Датум издавања:  [2000 TO 2009]
Аутор:  Gilezan, Silvia

Резултати 1-9 од 9 (Време претраге: 0.002 секунди).

Датум издавањаНасловАутор(и)
11-јан-2005Strong normalization of the dual classical sequent calculusDougherty D.; Gilezan, Silvia ; Lescanne P.; Likavec S.
21-дец-2007Security types for dynamic web dataDezani-Ciancaglini M.; Gilezan, Silvia ; Pantović, Jovanka 
31-феб-2003Reducibility: A ubiquitous method in lambda calculus with intersection typesGilezan, Silvia ; Likavec S.
419-јул-2005Intersection and union types in the λ̄μμ̃-calculusDougherty D.; Gilezan, Silvia ; Lescanne P.
51-јан-2001Confluence of untyped lambda calculus via simple typesGilezan, Silvia ; Kunčak V.
61-јан-2004Characterizing strong normalization in a language with control operatorsDougherty D.; Gilezan, Silvia ; Lescanne P.
79-јун-2008Characterising strongly normalising intuitionistic sequent termsEspírito Santo J.; Gilezan, Silvia ; Ivetić, Jelena 
828-мај-2004Behavioural inverse limit λ-modelsDezani-Ciancaglini M.; Gilezan, Silvia ; Likavec S.
91-дец-2008An approach to call-by-name delimited continuationsHerbelin H.; Gilezan, Silvia