Skip navigation
The Australian National University

Sequent Calculus in the Topos of Trees

Citation

Clouston, R & Gore, R 2015, 'Sequent Calculus in the Topos of Trees', 18th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2015, ed. Andrew Pitts, Springer, Berlin, pp. 133-147.

Year

2015

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  24 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers