Keyword:non-idempotent intersection types

Papers
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus Giulio Guerrieri EasyChair Preprint no. 334