Ranald Clouston

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