A taste of soft-linear logic for self-modification, Geocal, Nancy

Présentation