Pomset logic: A non-commutative extension of classical linear logic (0)

by Christian Retoré
Venue:Typed Lambda Calculus and Applications, TLCA’97, volume 1210 of LNCS, pages 300–318, 1997. System of Interaction and Structure V: The Exponentials and Splitting 29