< ? AD_A054 942 SYRACUSt UNIV N Y F/S 9/2 LARGE SCALE ...
union(sl, s2) inject unionf (si, s2). (Roughly speaking, we are representing sets by a free algebra with constants none and all , and operators limit and union.) ...Télécharger < ? AD_A054 942 SYRACUSt UNIV N Y F/S 9/2 LARGE SCALE ... pdf
