Natural deduction and coherence for non-symmetric linearly distributive categories.
Page 1
Schneck, Robert R. (1999)
Theory and Applications of Categories [electronic only]
Siehler, Jacob (2003)
Algebraic & Geometric Topology
Yves André, Bruno Kahn, Peter O’Sullivan (2002)
Rendiconti del Seminario Matematico della Università di Padova
Brown, R., Sivera, R. (2007)
Journal of Homotopy and Related Structures
Kock, J. (2007)
Journal of Homotopy and Related Structures
Day, Brian, Pastro, Craig (2008)
The New York Journal of Mathematics [electronic only]
Coquereaux, Robert, Isasi, Esteban, Schieber, Gil (2010)
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications [electronic only]
Davydov, Alexei (2007)
Theory and Applications of Categories [electronic only]
Page 1