@ARTICLE{
author={Ghilezan Silvia,Kasterovic Simona,Liquori Luigi,Marinkovic Bojan B,Ognjanovic Zoran D,Stefanovic Tamara},
year={2022},
title={Federating Digital Contact Tracing using Structured Overlay Networks},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={19},
number={3},
pages={1261-1282},
document_type={Article},
} 

@ARTICLE{
author={Ghilezan Silvia,Kasterovic Simona},
year={2022},
title={Semantics for Combinatory Logic With Intersection Types},
journal={FRONTIERS IN COMPUTER SCIENCE},
volume={4},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Kasterovic Simona,Ghilezan Silvia},
year={2020},
title={Kripke-style semantics and completeness for full simply typed Lambda calculus},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={30},
number={8},
pages={1567-1608},
document_type={Article},
}