"Coherence in SMCCS and equivalences on derivations in IMLL with unit."

L. Méhats, Sergei Soloviev (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics