Skip navigation
The Australian National University

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

Field of Research

  • Computational Logic And Formal Languages

Updated:  19 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers