Author:Giulio Guerrieri

Keyphrases

call-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.