A taste of soft-linear logic for self-modification, GDR-LL, Bologne

Présentation