"Acyclicity and Coherence in Multiplicative Exponential Linear Logic."

Michele Pagani (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics