Call-by-value non-determinism in a linear logic type discipline