Finite sum - Product logic

Theory and Applications of Categories

Volumn 8, Issue , 2001, Pages 63-99

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

^a NONE

Author keywords

Categorical proof theory; Categories; Deductive systems; Finite coproducts; Finite products

Indexed keywords

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

References (0)