Graphical Presentations of Symmetric Monoidal Closed Theories

Details Graphical Presentations of Symmetric Monoidal Closed Theories Graphical Presentations of Symmetric Monoidal Closed Theories

2008-10-24

arxiv.org/abs/0810.4420v2

Computer Science

Logic in Computer Science

Uses Paul Taylor's diagrams

Scientific paper

We define a notion of symmetric monoidal closed (SMC) theory, consisting of a
SMC signature augmented with equations, and describe the classifying categories
of such theories in terms of proof nets.

Affiliated with

Also associated with

No associations

Rating

Graphical Presentations of Symmetric Monoidal Closed Theories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Graphical Presentations of Symmetric Monoidal Closed Theories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Graphical Presentations of Symmetric Monoidal Closed Theories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-698126