Annotation-Free Sequent Calculi for full Intuitionistic Linear Logic
-
Altmetric Citations
Collections | ANU Research Publications |
---|---|
Date published: | 2013 |
Type: | Conference paper |
URI: | http://hdl.handle.net/1885/65778 |
Source: | Computer Science Logic 2013 (CSL 2013) |
DOI: | 10.4230/LIPIcs.CSL.2013.197 |
Access Rights: | Open Access |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Clouston_Annotation-Free_Sequent_2013.pdf | 648.75 kB | Adobe PDF | Request a copy |
This item is licensed under a Creative Commons License
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator