Sémantique mardi 29 janvier 2019, 11h00, Salle 3052 Giulio Guerrieri (Università di Bologna) Non-idempotent intersection types for call-by-need lambda calculus