Semantics for Combinatory Logic With Intersection Types

Autor: Silvia Ghilezan, Simona Kašterović

Publikováno v: Frontiers in Computer Science, Vol 4 (2022)

There is a plethora of semantics of computational models, nevertheless, the semantics of combinatory logic are among the less investigated ones. In this paper, we propose semantics for the computational system of combinatory logic with intersection t

Externí odkaz: https://doaj.org/article/993039e16e194a1382ace08587e6ad31

A Typed Model for Dynamic Authorizations

Autor: Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez, Hugo Torres Vieira

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 203, Iss Proc. PLACES 2015, Pp 73-84 (2016)

Security requirements in distributed software systems are inherently dynamic. In the case of authorization policies, resources are meant to be accessed only by authorized parties, but the authorization to access a resource may be dynamically granted/

Externí odkaz: https://doaj.org/article/60baa00eaa0e4cac90d46325f8b3ee9b

Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus

Autor: Simona Kašterović, Silvia Ghilezan

Publikováno v: Journal of Logic and Computation. 30:1567-1608

Full simply typed lambda calculus is the simply typed lambda calculus extended with product types and sum types. We propose a Kripke-style semantics for full simply typed lambda calculus. We then prove soundness and completeness of type assignment in

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::697556dfe52b7949ab53588d02cd5390
https://doi.org/10.1093/logcom/exaa055

The Duality of Classical Intersection and Union Types

Autor: Paul Downen, Zena M. Ariola, Silvia Ghilezan

Publikováno v: Fundamenta Informaticae. 170:39-92

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::55a9ec60b09a72e44a55eaca4275569f
https://doi.org/10.3233/fi-2019-1855

Federating Digital Contact Tracing using Structured Overlay Networks

Autor: Silvia Ghilezan, Simona Kasterovic, Luigi Liquori, Bojan Marinkovic, Zoran Ognjanovic, Tamara Stefanovic

Publikováno v: Computer Science and Information Systems
Computer Science and Information Systems, 2022, Special Issue on Compilers, Languages, Related Technologies, and Applications, 19 (3), pp.1261-1282. ⟨10.2298/CSIS210825029G⟩

In this paper, we present a comprehensive, yet simple, extension to the existing systems used for Digital Contact Tracing in Covid-19 pandemic. The extension, called BubbleAntiCovid19 (BAC19), enables those systems, regardless of their underlying pro

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a48fb4f1d00fdbd4afa703e9569ec2e
https://hal.inria.fr/hal-03127890v2/file/main.pdf