Annotation-Free Sequent Cal... - Researchers

Annotation-Free Sequent Calculi for full Intuitionistic Linear Logic

Citation

Clouston, R, Dawson, J, Gore, R, et al 2013, 'Annotation-Free Sequent Calculi for full Intuitionistic Linear Logic - Extended Version', Logical Methods in Computer Science, vol. Online (published dates tbc), pp. 1-18.

Year

2013

ANU Authors

Dr Ranald Clouston
Emeritus Professor Rajeev Gore
Dr Alwen Tiu

Field of Research

Computational Logic And Formal Languages

Updated: 20 April 2024 / Responsible Officer: Director (Research Services Division) / Page Contact: Researchers