13 citations · 54 across the 30 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2013
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…
math.LO2011★ 1 cited
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…