Giulio Guerrieri will be teaching a course titled “The lambda-calculus: from simple types to non-idempotent intersection types” at the Escuela de Ciencias Informáticas (ECI) from July 29 to August 2, 2024. More details can be found here.
Giulio Guerrieri will be teaching a course titled “The lambda-calculus: from simple types to non-idempotent intersection types” at the Escuela de Ciencias Informáticas (ECI) from July 29 to August 2, 2024. More details can be found here.