Natural deduction and coherence for non-symmetric linearly distributive categories

Theory and Applications of Categories

Volumn 6, Issue , 2000, Pages 105-146

  Schneck, Robert R ^a  

^a NONE

Author keywords

Categorical proof theory; Linear logic; Monoidal categories

Indexed keywords

EID: 18644364190     PISSN: 1201561X     EISSN: 1201561X     Source Type: Journal    
DOI: None     Document Type: Article

References (0)