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
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
333 Theorems for free! – Philip Wadler - 1989
209 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
187 Oligomorphic permutation groups – Peter J. Cameron - 1999
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
21 From proof nets to the free *- autonomous category – François Lamarche, Lutz Strassburger - 2005
140 An introduction to substructural logics – Greg Restall - 2000