We encourage the individual authors to make their contributions available on the World Wide Web.
This, like any bibliography, is incomplete. Any corrections, updates, comments, suggestion, new entries, new URLs for papers, etc. are very much appreciated. In particular, help us filling the "??". Please, send feedback to the maintainers.
This document is also available in the following formats:
What's new in linear logicThis bibliography is currently maintained by Iliano Cervesato ()