3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.LO2014
Resource control and intersection types: an intrinsic connection
S. Ghilezan, J. Ivetic, P. Lescanne +1
In this paper we investigate the -calculus, a -calculus enriched with resource control. Explicit control of resources is enabled by the presence of erasure and duplication o…
cs.LO2014★ 3 cited
Dynamic Role Authorization in Multiparty Conversations
Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović +2
Protocol specifications often identify the roles involved in communications. In multiparty protocols that involve task delegation it is often useful to consider settings in which d…
cs.LO2012★ 1 cited
Computational interpretation of classical logic with explicit structural rules
Silvia Ghilezan, Pierre Lescanne, Dragisa Zunic
We present a calculus providing a Curry-Howard correspondence to classical logic represented in the sequent calculus with explicit structural rules, namely weakening and contractio…