Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1 Publication
2013 | Journal Article | LibreCat-ID: 6729
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.
LibreCat
| DOI