@inproceedings{TLCA-2009-Strassburger,
author = "Lutz Straßburger",
booktitle = "{Proceedings of the Ninth International Conference on Typed Lambda Calculi and Applications}",
doi = "10.1007/978-3-642-02273-9_23",
isbn = "978-3-642-02272-2",
pages = "309--324",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic}",
volume = 5608,
year = 2009,
}

### Tags: