Girard, J.-Y. (1993). Linear Logic: A Survey. In Logic and Algebra of Specification (pp. 63–112). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-58041-3_3
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.