Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories

Theory and Applications of Categories

Volumn 3, Issue , 1997, Pages 85-131

  Cockett, J R B ^a   Seely, R A G ^a  

^a NONE

Author keywords

Categorical proof theory; Coherence; Monoidal closed categories; Tensorial strength

Indexed keywords

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

References (0)