A System of Interaction and Structure IV: The Exponentials and Decomposition

Lutz Straßburger Alessio Guglielmi A System of Interaction and Structure IV: The Exponentials and Decomposition http://arxiv.org/abs/0903.5259 2009 CoRR abs/0903.5259 db/journals/corr/corr0903.html#abs-0903-5259 informal publication