Ranald Clouston

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 16

Top Topics

Sequent Calculi

Natural Deduction

Top Venues

J. Comput. Syst. Sci.

Publications

Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters
Modal dependent type theory and dependent right adjoints. Math. Struct. Comput. Sci. 30 (2) (2020)
Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. CSL (2020)
Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi
Guarded Cubical Type Theory. J. Autom. Reason. 63 (2) (2019)
Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. CoRR (2019)
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
Modular Labelled Sequent Calculi for Abstract Separation Logics. ACM Trans. Comput. Log. 19 (2) (2018)
Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters
Modal Dependent Type Theory and Dependent Right Adjoints. CoRR (2018)
Ranald Clouston
Fitch-Style Modal Lambda Calculi. FoSSaCS (2018)
Ranald Clouston
Fitch-Style Modal Lambda Calculi. CoRR (2017)
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
Modular Labelled Sequent Calculi for Abstract Separation Logics. CoRR (2017)
Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi
Guarded Cubical Type Theory: Path Equality for Guarded Recursion. CSL (2016)
Zhe Hou, David Sanán, Alwen Tiu, Rajeev Goré, Ranald Clouston
Separata: Isabelle tactics for Separation Algebra. Arch. Formal Proofs 2016 (2016)
Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Møgelberg, Lars Birkedal
Guarded Dependent Type Theory with Coinductive Types. CoRR (2016)
Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi
Guarded Cubical Type Theory: Path Equality for Guarded Recursion. CoRR (2016)
Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types. Log. Methods Comput. Sci. 12 (3) (2016)
Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi
Guarded Cubical Type Theory. CoRR (2016)
Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Møgelberg, Lars Birkedal
Guarded Dependent Type Theory with Coinductive Types. FoSSaCS (2016)
Ranald Clouston, Rajeev Goré
Sequent Calculus in the Topos of Trees. FoSSaCS (2015)
Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal
Programming and Reasoning with Guarded Recursion for Coinductive Types. FoSSaCS (2015)
Ranald Clouston, Rajeev Goré
Sequent Calculus in the Topos of Trees. CoRR (2015)
Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal
Programming and Reasoning with Guarded Recursion for Coinductive Types. CoRR (2015)
Jeremy E. Dawson, Ranald Clouston, Rajeev Goré, Alwen Tiu
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic. IFIP TCS (2014)
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
Proof search for propositional abstract separation logics via labelled sequents. POPL (2014)
Ranald Clouston
Nominal Lawvere Theories: A category theoretic account of equational theories with names. J. Comput. Syst. Sci. 80 (6) (2014)
Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. CSL (2013)
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
Proof search for propositional abstract separation logics via labelled sequents. CoRR (2013)
Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version. CoRR (2013)
Ranald Clouston
Generalised Name Abstraction for Nominal Sets. FoSSaCS (2013)
Ranald Clouston
Nominal Logic with Equations Only LFMTP (2011)
Ranald Clouston
Nominal Lawvere Theories. WoLLIC (2011)
Ranald Clouston
Binding in Nominal Equational Logic. MFPS (2010)
Ranald Clouston, Robert Goldblatt
Covarieties of Coalgebras: Comonads and Coequations. ICTAC (2005)