Publications
External links: DBLP
2022
Simona Kašterović, Silvia Ghilezan,
Logic of Combinatory Logic
arXiv
Silvia Ghilezan, Luigi Liquori, Bojan Marinković, Simona Kašterović, Zoran Ognjanović, Tamara Stefanović, Federating Digital Contact Tracing using Structured Overlay Networks, ComSIS – Computer Science and Information Systems, Volume 19, Issue 3, Pages: 1261-1282, doi
Silvia Ghilezan, Simona Kašterović: Semantics for combinatory logic with intersection types, Frontiers in Computer Science, 2022, doi
Silvia Ghilezan, Jelena Ivetić, Simona Kašterović, Pierre Lescanne:
L-types for resource awareness: an implicit name approach
arXiv
2020
Simona Kasterovic, Silvia Ghilezan: Kripke semantics and completeness for full simply typed lambda calculus, accepted Journal of Logic and Computation (2020).
Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, and Nenad Savic. Towards probabilistic reasoning in type theory - the inter- section type case. In Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings, pages 122–139, 2020.
2019
Simona Kašterović, Michele Pagani: The Discriminating Power of the Let-in Operator in the Lazy Call-by-Name Probabilistic λ-Calculus, FSCD 2019 - International Conference on Formal Structures for Computation and Deduction, Dortmund, Germany, June 24-30, 2019
2018
Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic: Probabilistic reasoning about simply typed lambda terms, LFCS 2018 - Logical Foundations of Computer Science, Florida, USA, January 2018, Lecture Notes in Computer Science 10703: 170-189. doi