output
20022026
most citedCreate, run, share, publish, and reference your LC-MS, FIA-MS, GC-MS, and NMR data analysis workflows with the Workflow4Metabolomics 3.0 Galaxy online infrastructure for metabolomics

133 citations

researchers with a paper here
collaborating institutions
Showing 2008 · cs.LOShow all

2 papers · 2 filters

cs.LO2008★ 3 cited

Graphical Presentations of Symmetric Monoidal Closed Theories

Richard Garner, Tom Hirschowitz, Aurélien Pardon

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 te…

cs.LO2008★ 2 cited

Binding bigraphs as symmetric monoidal closed theories

Tom Hirschowitz, Aurélien Pardon

Milner's bigraphs are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the pi-calculus and…