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

by Christian Retoré
Venue:Typed Lambda Calculus and Applications, TLCA’97, volume 1210 of Lecture Notes in Computer Science