Coherence in SMCCS and equivalences on derivations in IMLL with unit. - L. Méhats; Sergei Soloviev 001 (Ann. Pure Appl. Log., 2007)