Natural deduction and coherence for non-symmetric linearly distributive categories. Schneck, Robert R. (1999) Theory and Applications of Categories [electronic only]
Normalization as a consequence of cut elimination Mirjana Borisavljević (2009) Publications de l'Institut Mathématique