Skip navigation
The Australian National University

From display calculi to deep nested sequent calculi: Formalised for full intuitionistic linear logic

Citation

Dawson, J, Clouston, R, Gore, R et al 2014, 'From display calculi to deep nested sequent calculi: Formalised for full intuitionistic linear logic', 8th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science, TCS 2014, Springer Verlag, Rome Italy, pp. 250-264.

Year

2014

Field of Research

  • Computational Logic And Formal Languages

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