Delia Kesner, Daniel Ventura. Quantitative Types for the Linear Substitution Calculus. Josep Diaz; Ivan Lanese; Davide Sangiorgi. 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. Springer, Lecture Notes in Co
HAL Archives-Ouvertes,
Delia Kesner, Daniel Ventura. Quantitative Types for the Linear Substitution Calculus.