Browsing by Author Clouston, Ranald
Showing results 8 to 8 of 8
Sequent Calculus in the Topos of Trees
| Author(s) | Clouston, Ranald; Gore, Rajeev |
|---|---|
| Type | Journal article |
| Date Published | 2015 |
| Date Created | - |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator
+61 2 6125 5111
The Australian National University, Canberra
CRICOS Provider : 00120C
ABN : 52 234 063 906
