## Author:Giulio Guerrieri
## Keyphrasescall-by-value, denotational model, execution time, lambda calculus, linear logic, non-idempotent intersection types, quantitative subject reduction, relational semantics, Shuffling Calculus, Size invariance, Type derivation. |