Prеglеdаnjе prеmа Аutоr Gilezan, Silvia


Ili, izаbеritе pismо ispоd kаkо bistе prеglеdаli prеzimе
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Prikаzivаnjе rеzultаtа 6 do 25 od 41 < prеthоdnа   slеdеćа >
Dаtum izdаvаnjаNаslоvАutоr(i)
1-јан-2014Binary relations and algebras on multisetsGilezan, Silvia ; Pantović, Jovanka ; Vojvodić G.
9-јун-2008Characterising strongly normalising intuitionistic sequent termsEspírito Santo J.; Gilezan, Silvia ; Ivetić, Jelena 
9-окт-2017Characterization of strong normalizability for a sequent lambda calculus with co-controlSanto J.; Gilezan, Silvia 
1-јан-2004Characterizing strong normalization in a language with control operatorsDougherty D.; Gilezan, Silvia ; Lescanne P.
28-мај-2008Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritageDougherty D.; Gilezan, Silvia ; Lescanne P.
1-дец-2004Classical Proofs, Typed Processes, and Intersection Types Extended AbstractGilezan, Silvia ; Lescanne P.
1-нов-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.
1-јан-2001Confluence of untyped lambda calculus via simple typesGilezan, Silvia ; Kunčak V.
1-јан-2019The Duality of Classical Intersection and Union TypesDownen P.; Ariola Z.; Gilezan, Silvia 
1-јан-2016Dynamic role authorization in multiparty conversationsGilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Pérez J.; Vieira H.
1-јан-2016Encoding of multilevel S-threshold functionsPantović, Jovanka ; Gilezan, Silvia ; Žunić J.
1-јан-2019Formal verification of python software transactional memory based on timed automataKordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia 
1-јан-2001Full intersection types and topologies in lambda calculusGilezan, Silvia 
1-дец-1993Inhabitation in intersection and union type assignment systemsGilezan, Silvia 
19-јул-2005Intersection and union types in the λ̄μμ̃-calculusDougherty D.; Gilezan, Silvia ; Lescanne P.
19-сеп-2011Intersection types for the resource control lambda calculiGilezan, Silvia ; Ivetić, Jelena ; Lescanne P.; Likavec S.
1-авг-2011Intuitionistic sequent-style calculus with explicit structural rulesGilezan, Silvia ; Ivetić, Jelena ; Lescanne P.; Žunić, D.
1-јан-2011Lambda calculus with typesBarendregt H.; Dekkers W.; Statman R.; Alessi F.; Bezem M.; Cardone F.; Coppo M.; Dezani-Ciancaglini M.; Dowek G.; Gilezan, Silvia ; Honsell F.; Moortgat M.; Severi P.; Urzyczyn P.
1-јан-2000Lambda terms for natural deduction, sequent calculus and cut eliminationBarendregt H.; Gilezan, Silvia 
1-јан-2017Linked data privacyJakšić, Svetlana ; Pantović, Jovanka ; Gilezan, Silvia 
Prikаzivаnjе rеzultаtа 6 do 25 od 41 < prеthоdnа   slеdеćа >