~~NOCACHE~~

---- datatemplateentry ----
template: templates:seance
classe: seance
type: Semantics
seminaire: semantique
id: 747
date: mardi 29 janvier 2019
heure: 11h00
salle: Salle 3052
nom: Giulio Guerrieri
affiliation: Università di Bologna
titre: Non-idempotent intersection types for call-by-need lambda calculus
----