Browsing by Author Clouston, Ranald
Showing results 1 to 8 of 8
Annotation-Free Sequent Calculi for full Intuitionistic Linear Logic
Author(s) | Clouston, Ranald; Dawson, Jeremy; Gore, Rajeev, et al |
---|---|
Type | Conference paper |
Date Published | 2013 |
Date Created | September 2-5 2013 |
From display calculi to deep nested sequent calculi: Formalised for full intuitionistic linear logic
Author(s) | Dawson, Jeremy; Clouston, Ranald; Gore, Rajeev, et al |
---|---|
Type | Conference paper |
Date Published | 2014 |
Date Created | September 1-3 2014 |
Generalized Name Abstraction for Nominal Sets
Author(s) | Clouston, Ranald |
---|---|
Type | Journal article |
Date Published | 2013 |
Date Created | - |
Nominal Lawvere Theories
Author(s) | Clouston, Ranald |
---|---|
Type | Conference paper |
Date Published | 2011 |
Date Created | May 18-20 2011 |
Nominal Lawvere Theories: A category theoretic account of equational theories with names
Author(s) | Clouston, Ranald |
---|---|
Type | Journal article |
Date Published | 2014 |
Date Created | - |
Nominal Logic with Equations Only
Author(s) | Clouston, Ranald |
---|---|
Type | Conference paper |
Date Published | 2011 |
Date Created | August 26 2011 |
Proof Search for Propositional Abstract Separation Logics via Labelled Sequents
Author(s) | Hou, Zhe; Clouston, Ranald; Gore, Rajeev, et al |
---|---|
Type | Conference paper |
Date Published | 2014 |
Date Created | January 22-24 2014 |
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