Resource control and intersection types: an intrinsic connection

S. Ghilezan, J. Ivetic, P. Lescanne +1

In this paper we investigate the $\lambda$ -calculus, a $\lambda$-calculus enriched with resource control. Explicit control of resources is enabled by the presence of erasure and duplication o…