The Shuffle Hopf Algebra and Noncommutative Full Completeness (1999)

by R. F. Blute , P. J. Scott
Citations:8 - 3 self

Active Bibliography

1 A Noncommutative Full Completeness Theorem (Extended Abstract) – R. F. Blute, P. J. Scott - 1996
19 Linear Läuchli semantics – R. F. Blute, P. J. Scott - 1996
2 Linear L"auchli semantics – R. F. Blute, P. J. Scott - 1996
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
22 From proof nets to the free *- autonomous category – François Lamarche, Lutz Strassburger - 2005
7 Category theory for linear logicians – Richard Blute, Philip Scott - 2004
20 Rota-Baxter algebras in renormalization of perturbative quantum field theory – Kurusch Ebrahimi-fard, Li Guo
6 Combinatorial Models For Coalgebraic Structures – Nigel Ray, William Schmitt - 1997
Categorial Grammars and Substructural Logics – Wojciech Buszkowski
53 Types, Abstraction, and Parametric Polymorphism, Part 2 – QingMing Ma, John C. Reynolds - 1991
FROM PROOF NETS TO THE FREE *-AUTONOMOUS CATEGORY FRANÇOIS LAMARCHE AND LUTZ STRASSBURGER – unknown authors - 2006
FROM PROOF NETS TO THE FREE *-AUTONOMOUS CATEGORY FRANÇOIS LAMARCHE AND LUTZ STRASSBURGER – unknown authors - 2006
A quantum double construction in Rel – Masahito Hasegawa - 2010
unknown title – Masahito Hasegawa - 2010
8 The Logic of Linear Functors – Richard Blute, J.R.B. Cockett, R. A. G. Seely - 2002
Multiplicative Linear Logics and Fibrations – François Lamarche - 2002
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
6 Proof nets Construction and Automated Deduction in Non-Commutative Linear Logic (Extended Abstract) – D. Galmiche, B. Martin - 1998
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993