[{"publication":"Journal of Applied Logic","language":[{"iso":"eng"}],"year":"2013","issue":"1","title":"Relational semantics for full linear logic","publisher":"Elsevier BV","date_created":"2019-01-15T10:09:17Z","status":"public","type":"journal_article","extern":"1","_id":"6729","user_id":"58843","department":[{"_id":"66"}],"citation":{"chicago":"Coumans, Dion, Mai Gehrke, and Lorijn van Rooijen. “Relational Semantics for Full Linear Logic.” <i>Journal of Applied Logic</i> 12, no. 1 (2013): 50–66. <a href=\"https://doi.org/10.1016/j.jal.2013.07.005\">https://doi.org/10.1016/j.jal.2013.07.005</a>.","ieee":"D. Coumans, M. Gehrke, and L. van Rooijen, “Relational semantics for full linear logic,” <i>Journal of Applied Logic</i>, vol. 12, no. 1, pp. 50–66, 2013.","ama":"Coumans D, Gehrke M, van Rooijen L. Relational semantics for full linear logic. <i>Journal of Applied Logic</i>. 2013;12(1):50-66. doi:<a href=\"https://doi.org/10.1016/j.jal.2013.07.005\">10.1016/j.jal.2013.07.005</a>","apa":"Coumans, D., Gehrke, M., &#38; van Rooijen, L. (2013). Relational semantics for full linear logic. <i>Journal of Applied Logic</i>, <i>12</i>(1), 50–66. <a href=\"https://doi.org/10.1016/j.jal.2013.07.005\">https://doi.org/10.1016/j.jal.2013.07.005</a>","short":"D. Coumans, M. Gehrke, L. van Rooijen, Journal of Applied Logic 12 (2013) 50–66.","bibtex":"@article{Coumans_Gehrke_van Rooijen_2013, title={Relational semantics for full linear logic}, volume={12}, DOI={<a href=\"https://doi.org/10.1016/j.jal.2013.07.005\">10.1016/j.jal.2013.07.005</a>}, number={1}, journal={Journal of Applied Logic}, publisher={Elsevier BV}, author={Coumans, Dion and Gehrke, Mai and van Rooijen, Lorijn}, year={2013}, pages={50–66} }","mla":"Coumans, Dion, et al. “Relational Semantics for Full Linear Logic.” <i>Journal of Applied Logic</i>, vol. 12, no. 1, Elsevier BV, 2013, pp. 50–66, doi:<a href=\"https://doi.org/10.1016/j.jal.2013.07.005\">10.1016/j.jal.2013.07.005</a>."},"page":"50-66","intvolume":"        12","publication_status":"published","publication_identifier":{"issn":["1570-8683"]},"doi":"10.1016/j.jal.2013.07.005","date_updated":"2022-01-06T07:03:17Z","author":[{"first_name":"Dion","last_name":"Coumans","full_name":"Coumans, Dion"},{"first_name":"Mai","last_name":"Gehrke","full_name":"Gehrke, Mai"},{"full_name":"van Rooijen, Lorijn","id":"58843","last_name":"van Rooijen","first_name":"Lorijn"}],"volume":12}]