26 citations · 61 across the 14 of their papers we have counts for
3 papers · 1 filter
Logic of Combinatory Logic
Simona Kašterović, Silvia Ghilezan
We develop a classical propositional logic for reasoning about combinatory logic. We define its syntax, axiomatic system and semantics. The syntax and axiomatic system are presente…
A journey through resource control lambda calculi and explicit substitution using intersection types (an account)
Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne +1
In this paper we invite the reader to a journey through three lambda calculi with resource control: the lambda calculus, the sequent lambda calculus, and the lambda calculus with e…
Resource control and strong normalisation
Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne +1
We introduce the \emph{resource control cube}, a system consisting of eight intuitionistic lambda calculi with either implicit or explicit control of resources and with either natu…