Gilezan, Silvia

Mreža saradnje Statistika Imејl upоzоrеnjе RSS Feed

Publications

Prеcizirаnо pо:
Dаtum izdаvаnjа:  [2000 TO 2009]

Rеzultаti 1-18 оd 18 (Vrеmе prеtrаgе: 0.001 sekundi).

Dаtum izdаvаnjаNаslоvАutоr(i)
11-јан-2008An approach to call-by-name delimited continuationsHerbelin H.; Gilezan, Silvia 
21-дец-2008An approach to call-by-name delimited continuationsHerbelin H.; Gilezan, Silvia 
328-мај-2004Behavioural inverse limit λ-modelsDezani-Ciancaglini M.; Gilezan, Silvia ; Likavec S.
49-јун-2008Characterising strongly normalising intuitionistic sequent termsEspírito Santo J.; Gilezan, Silvia ; Ivetić, Jelena 
51-јан-2004Characterizing strong normalization in a language with control operatorsDougherty D.; Gilezan, Silvia ; Lescanne P.
628-мај-2008Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritageDougherty D.; Gilezan, Silvia ; Lescanne P.
71-дец-2004Classical Proofs, Typed Processes, and Intersection Types Extended AbstractGilezan, Silvia ; Lescanne P.
81-јан-2001Confluence of untyped lambda calculus via simple typesGilezan, Silvia ; Kunčak V.
91-јан-2001Full intersection types and topologies in lambda calculusGilezan, Silvia 
1019-јул-2005Intersection and union types in the λ̄μμ̃-calculusDougherty D.; Gilezan, Silvia ; Lescanne P.
111-јан-2000Lambda terms for natural deduction, sequent calculus and cut eliminationBarendregt H.; Gilezan, Silvia 
121-јан-2007Partitioning finite d-dimensional integer grids with applicationsGilezan, Silvia ; Pantović, Jovanka ; Žunić J.
131-феб-2003Reducibility: A ubiquitous method in lambda calculus with intersection typesGilezan, Silvia ; Likavec S.
141-дец-2007Security types for dynamic web dataDezani-Ciancaglini M.; Gilezan, Silvia ; Pantović, Jovanka 
158-авг-2008Security types for dynamic web dataDezani-Ciancaglini M.; Gilezan, Silvia ; Pantović, Jovanka ; Varacca D.
161-сеп-2007Separating points by parallel hyperplanes-characterization problemGilezan, Silvia ; Pantović, Jovanka ; Žunić J.
171-јан-2005Strong normalization of the dual classical sequent calculusDougherty D.; Gilezan, Silvia ; Lescanne P.; Likavec S.
181-дец-2003Two behavioural lambda modelsDezani-Ciancaglini M.; Gilezan, Silvia