Acyclicity and Coherence in Multiplicative Exponential Linear Logic.

Michele Pagani

Browse the full CSL paper archive.