The Shuffle Hopf Algebra and Noncommutative Full Completeness (1999)

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

Documents Related by Co-Citation

19 Linear Läuchli semantics – R. F. Blute, P. J. Scott - 1996
218 Caotegories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics – S Mac Lane - 1971
40 Fair Games and Full Completeness for Multiplicative Linear Logic without the MIX-Rule – J.M.E. Hyland, C. -h. L. Ong - 1993
73 New Foundations for the Geometry of Interaction – Samson Abramsky, Radha Jagadeesan - 1993
67 Retracing some paths in Process Algebra – Samson Abramsky
170 Traced monoidal categories – André Joyal, Ross Street, Domnic Verity - 1996
238 Categories for the Working Mathematician. Graduate Texts in Mathematics – MAC LANE, S - 1971
461 The mathematics of sentence structure – J Lambek - 1958
161 logic: its syntax and semantics – Jean-yves Girard - 1995
59 Hypercoherences: A Strongly Stable Model of Linear Logic – Thomas Ehrhard - 1993
30 Temporal Structures – Ross Casley, Roger F. Crew, José Meseguer, Vaughan Pratt - 1990
9 Infinite dimensional vector spaces – G Mackey - 1945
6 Towards Full Completeness for the Linear Logic of Chu Spaces – Vaughan Pratt - 1997
49 Autonomous categories, volume 752 – Michael Barr - 1979
55 The Second Calculus of Binary Relations – Vaughan Pratt - 1993
48 Games Semantics for Linear Logic – Yves Lafont, Thomas Streicher - 1991
30 The Stone gamut: A coordinatization of mathematics – Vaughan R. Pratt - 1995
39 Abramsky and Radha Jagadeesan. Games and full completeness for multiplicative linear logic – Samson - 1994
239 Modelling Concurrency with Partial Orders – Vaughan Pratt - 1986