#acl +All:read

= Logique linéaire et paradigmes logiques du calcul =