Seminar: Paolo di Giamberardino "Linear logic as resource-aware logic"

Post date: 16-Mar-2011 15:51:45

Upcoming seminar

Linear logic as resource-aware logic

Tuesday, March 22, 2011 - 15:00

Aula F, Dipartimento di Matematica e Informatica - Via Ospedale 72, Cagliari

Paolo di Giamberardino

Laboratoire d'Informatique de Paris 13