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…