Skip navigation
The Australian National University

Sequent Calculus in the Topos of Trees


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 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, ed. Pitts A., Conference Organising Committee, TBC, pp. 133-147.



ANU Authors

Field of Research

  • Computational Logic And Formal Languages

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