@ARTICLE{
author={Gilezan Silvia,Ivetic Jelena B,Lescanne Pierre,Zunic Dragisa},
year={2011},
title={Intuitionistic Sequent-Style Calculus with Explicit Structural Rules},
journal={LOGIC, LANGUAGE, AND COMPUTATION},
volume={6618},
number={},
pages={101-124},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Dezani-Ciancaglini Mariangiola,Gilezan Silvia,Pantovic Jovanka B,Varacca Daniele},
year={2008},
title={Security types for dynamic web data},
journal={THEORETICAL COMPUTER SCIENCE},
volume={402},
number={2-3},
pages={156-171},
document_type={Article},
} 

@ARTICLE{
author={Herbelin Hugo,Gilezan Silvia},
year={2008},
title={An approach to call-by-name delimited continuations},
journal={ACM SIGPLAN NOTICES},
volume={43},
number={1},
pages={383-394},
document_type={Article},
} 

@ARTICLE{
author={Dougherty Daniel J,Gilezan Silvia,Lescanne Pierre},
year={2008},
title={Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage},
journal={THEORETICAL COMPUTER SCIENCE},
volume={398},
number={1-3},
pages={114-128},
document_type={Article},
} 

@ARTICLE{
author={Gilezan Silvia,Pantovic Jovanka B,Zunic Jovisa},
year={2007},
title={Separating points by parallel hyperplanes - Characterization problem},
journal={IEEE TRANSACTIONS ON NEURAL NETWORKS},
volume={18},
number={5},
pages={1356-1363},
document_type={Article},
} 

@ARTICLE{
author={Dougherty Daniel J,Gilezan Silvia,Lescanne Pierre,Likavec Silvia J},
year={2005},
title={Strong normalization of the dual classical sequent calculus},
journal={LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS},
volume={3835},
number={},
pages={169-183},
document_type={Article},
} 

@ARTICLE{
author={Gilezan Silvia,Lescanne Pierre},
year={2004},
title={Classical proofs, typed processes, and intersection types},
journal={TYPES FOR PROOFS AND PROGRAMS},
volume={3085},
number={},
pages={226-241},
document_type={Article},
} 

@ARTICLE{
author={Dezani-Ciancaglini Mariangiola,Gilezan Silvia,Likavec Silvia J},
year={2004},
title={Behavioural inverse limit lambda-models},
journal={THEORETICAL COMPUTER SCIENCE},
volume={316},
number={1-3},
pages={49-74},
document_type={Article},
} 

@ARTICLE{
author={Dezani-Ciancaglini Mariangiola,Gilezan Silvia},
year={2002},
title={Two behavioural lambda models},
journal={TYPES FOR PROOFS AND PROGRAMS},
volume={2646},
number={},
pages={127-147},
document_type={Article},
} 

@ARTICLE{
author={Gilezan Silvia},
year={2001},
title={Full intersection types and topologies in lambda calculus},
journal={JOURNAL OF COMPUTER AND SYSTEM SCIENCES},
volume={62},
number={1},
pages={1-14},
document_type={Article},
}