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