Ranald Clouston

According to our database, Ranald Clouston authored at least 24 papers between 2005 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Modal dependent type theory and dependent right adjoints.

Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters

Math. Struct. Comput. Sci., 2020

Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.

Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

Guarded Cubical Type Theory.

Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi

J. Autom. Reason., 2019

2018

Modular Labelled Sequent Calculi for Abstract Separation Logics.

Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu

ACM Trans. Comput. Log., 2018

Modal Dependent Type Theory and Dependent Right Adjoints.

Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters

CoRR, 2018

Fitch-Style Modal Lambda Calculi.

Ranald Clouston

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2016

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types.

Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal

Log. Methods Comput. Sci., 2016

Separata: Isabelle tactics for Separation Algebra.

Zhe Hou, David Sanán, Alwen Tiu, Rajeev Goré, Ranald Clouston

Arch. Formal Proofs, 2016

Guarded Dependent Type Theory with Coinductive Types.

Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Møgelberg, Lars Birkedal

Proceedings of the Foundations of Software Science and Computation Structures, 2016

Guarded Cubical Type Theory: Path Equality for Guarded Recursion.

Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

2015

Sequent Calculus in the Topos of Trees.

Ranald Clouston, Rajeev Goré

Proceedings of the Foundations of Software Science and Computation Structures, 2015

Programming and Reasoning with Guarded Recursion for Coinductive Types.

Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal

Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014

Nominal Lawvere Theories: A category theoretic account of equational theories with names.

Ranald Clouston

J. Comput. Syst. Sci., 2014

Proof search for propositional abstract separation logics via labelled sequents.

Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic.

Jeremy E. Dawson, Ranald Clouston, Rajeev Goré, Alwen Tiu

Proceedings of the Theoretical Computer Science, 2014

2013

Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version.

Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu

CoRR, 2013

Generalised Name Abstraction for Nominal Sets.

Ranald Clouston

Proceedings of the Foundations of Software Science and Computation Structures, 2013

Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic.

Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2011

Nominal Logic with Equations Only

Ranald Clouston

Proceedings of the Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2011

Nominal Lawvere Theories.

Ranald Clouston

Proceedings of the Logic, Language, Information and Computation, 2011

2010

Equational logic for names and binders.

Ranald Alexander Clouston

PhD thesis, 2010

Binding in Nominal Equational Logic.

Ranald Clouston

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

2007

Nominal Equational Logic.

Ranald Alexander Clouston, Andrew M. Pitts

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

2005

Covarieties of Coalgebras: Comonads and Coequations.

Ranald Clouston, Robert Goldblatt

Proceedings of the Theoretical Aspects of Computing, 2005