Pomset logic: a non-commutative extension of classical linear logic (1997)

by C Retoré
Venue:Typed Lambda Calculus and Applications, TLCA’97. LNCS