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

Датум издавањаНасловАутор(и)
11-јан-1994Application of typed lambda calculi in the untyped lambda calculusGilezan, Silvia 
21-дец-2008An approach to call-by-name delimited continuationsHerbelin H.; Gilezan, Silvia 
31-јан-2008An approach to call-by-name delimited continuationsHerbelin H.; Gilezan, Silvia 
431-авг-2017An approach to formal verification of python software transactional memoryKordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija 
528-мај-2004Behavioural inverse limit λ-modelsDezani-Ciancaglini M.; Gilezan, Silvia ; Likavec S.
61-јан-2014Binary relations and algebras on multisetsGilezan, Silvia ; Pantović, Jovanka ; Vojvodić G.
79-јун-2008Characterising strongly normalising intuitionistic sequent termsEspírito Santo J.; Gilezan, Silvia ; Ivetić, Jelena 
89-окт-2017Characterization of strong normalizability for a sequent lambda calculus with co-controlSanto J.; Gilezan, Silvia 
91-јан-2004Characterizing strong normalization in a language with control operatorsDougherty D.; Gilezan, Silvia ; Lescanne P.
1028-мај-2008Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritageDougherty D.; Gilezan, Silvia ; Lescanne P.
111-дец-2004Classical Proofs, Typed Processes, and Intersection Types Extended AbstractGilezan, Silvia ; Lescanne P.
121-нов-2015Combining behavioural types with security analysisBartoletti M.; Castellani I.; Deniélou P.; Dezani-Ciancaglini M.; Gilezan, Silvia ; Pantović, Jovanka ; Pérez J.; Thiemann P.; Toninho B.; Vieira H.
131-јан-2001Confluence of untyped lambda calculus via simple typesGilezan, Silvia ; Kunčak V.
141-јан-2019The Duality of Classical Intersection and Union TypesDownen P.; Ariola Z.; Gilezan, Silvia 
151-јан-2016Dynamic role authorization in multiparty conversationsGilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Pérez J.; Vieira H.
161-јан-2016Encoding of multilevel S-threshold functionsPantović, Jovanka ; Gilezan, Silvia ; Žunić J.
171-јан-2019Formal verification of python software transactional memory based on timed automataKordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia 
181-јан-2001Full intersection types and topologies in lambda calculusGilezan, Silvia 
191-дец-1993Inhabitation in intersection and union type assignment systemsGilezan, Silvia 
2019-јул-2005Intersection and union types in the λ̄μμ̃-calculusDougherty D.; Gilezan, Silvia ; Lescanne P.