The Sequent Calculus of Skew Monoidal Categories

Keyphrases

• Admissibility 16%
• Agda 16%
• Associator 16%
• Calculus 33%
• Canonical Representatives 16%
• Connectives 16%
• Dependently Typed Programming 16%
• Equivalence Class 33%
• Equivalence Relation 16%
• Intuitionistic 16%
• Monoidal Category 33%
• Natural Isomorphism 16%
• Natural Transformation 16%
• One-to-one Correspondence 16%
• Programming Languages 16%
• Semigroup 16%
• Sequent Calculus 100%
• SIMPLE Algorithm 16%
• Skew Monoidal Category 100%
• Tamari Order 16%

Mathematics

• Admissibility 16%
• Calculus 100%
• Equivalence Relation 16%
• Linear Logic 16%
• Natural Transformation 16%
• One to one correspondence 16%
• Programming Language 16%
• Semigroup 16%
• Tensor 16%

Computer Science

• Equivalence Class 50%
• Equivalence Relation 25%
• Programming Language 25%
• Sequent Calculus 100%
• Simple Algorithm 25%