A taste of soft-linear logic for self-modification, Elica, Lyon

Présentation