Publications

Results 1-20 of 41 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)
11-Jan-1994Application of typed lambda calculi in the untyped lambda calculusGilezan, Silvia 
21-Dec-2008An approach to call-by-name delimited continuationsHerbelin H.; Gilezan, Silvia 
31-Jan-2008An approach to call-by-name delimited continuationsHerbelin H.; Gilezan, Silvia 
431-Aug-2017An approach to formal verification of python software transactional memoryKordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija 
528-May-2004Behavioural inverse limit λ-modelsDezani-Ciancaglini M.; Gilezan, Silvia ; Likavec S.
61-Jan-2014Binary relations and algebras on multisetsGilezan, Silvia ; Pantović, Jovanka ; Vojvodić G.
79-Jun-2008Characterising strongly normalising intuitionistic sequent termsEspírito Santo J.; Gilezan, Silvia ; Ivetić, Jelena 
89-Oct-2017Characterization of strong normalizability for a sequent lambda calculus with co-controlSanto J.; Gilezan, Silvia 
91-Jan-2004Characterizing strong normalization in a language with control operatorsDougherty D.; Gilezan, Silvia ; Lescanne P.
1028-May-2008Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritageDougherty D.; Gilezan, Silvia ; Lescanne P.
111-Dec-2004Classical Proofs, Typed Processes, and Intersection Types Extended AbstractGilezan, Silvia ; Lescanne P.
121-Nov-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-Jan-2001Confluence of untyped lambda calculus via simple typesGilezan, Silvia ; Kunčak V.
141-Jan-2019The Duality of Classical Intersection and Union TypesDownen P.; Ariola Z.; Gilezan, Silvia 
151-Jan-2016Dynamic role authorization in multiparty conversationsGilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Pérez J.; Vieira H.
161-Jan-2016Encoding of multilevel S-threshold functionsPantović, Jovanka ; Gilezan, Silvia ; Žunić J.
171-Jan-2019Formal verification of python software transactional memory based on timed automataKordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia 
181-Jan-2001Full intersection types and topologies in lambda calculusGilezan, Silvia 
191-Dec-1993Inhabitation in intersection and union type assignment systemsGilezan, Silvia 
2019-Jul-2005Intersection and union types in the λ̄μμ̃-calculusDougherty D.; Gilezan, Silvia ; Lescanne P.