Graphical Presentations of Symmetric Monoidal Closed Theories
  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. 
Richard Garner, Tom Hirschowitz (LAMA), Aur\'elien Pardon (LIP)