Christian Retoré, Pomset Logic
A Non-commutative Extension of Classical Linear Logic
TLCA, 1997.
@inproceedings{TLCA-1997-RetoreL,
author = "Christian Retoré and Pomset Logic",
booktitle = "{Proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications}",
doi = "10.1007/3-540-62688-3_43",
isbn = "3-540-62688-3",
pages = "300--318",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{A Non-commutative Extension of Classical Linear Logic}",
volume = 1210,
year = 1997,
}