Ranald Clouston

Identifiers

• name variant Ranald Clouston 0.60 · backfill

Papers (12)

1. Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason math.LO · 2026 · author #3
2. Modular Labelled Sequent Calculi for Abstract Separation Logics cs.LO · 2017 · author #2
3. Fitch-Style Modal Lambda Calculi cs.LO · 2017 · author #1
4. Guarded Cubical Type Theory cs.LO · 2016 · author #3
5. The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types cs.LO · 2016 · author #1
6. Guarded Cubical Type Theory: Path Equality for Guarded Recursion cs.LO · 2016 · author #3
7. Guarded Dependent Type Theory with Coinductive Types cs.LO · 2016 · author #3
8. Sequent Calculus in the Topos of Trees cs.LO · 2015 · author #1
9. Programming and Reasoning with Guarded Recursion for Coinductive Types cs.PL · 2015 · author #1
10. Proof search for propositional abstract separation logics via labelled sequents cs.LO · 2013 · author #2
11. Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic -- Extended Version cs.LO · 2013 · author #1
12. Nominal Logic with Equations Only cs.LO · 2011 · author #1

Mentions

• 1307.5592 #2 · backfill · confidence 0.70 Ranald Clouston
• 1307.0289 #1 · backfill · confidence 0.70 Ranald Clouston
• 1111.0088 #1 · backfill · confidence 0.70 Ranald Clouston

Frequent Coauthors

• Ale\v{s} Bizjak 5 shared papers
• Hans Bugge Grathwohl 5 shared papers
• Lars Birkedal 4 shared papers
• Alwen Tiu 3 shared papers
• Andrea Vezzosi 2 shared papers
• Bas Spitters 2 shared papers
• Rajeev Gor\'e 2 shared papers
• Rajeev Gore 2 shared papers
• Denmark) 1 shared papers
• Ian Shillito 1 shared papers
• Jeremy Dawson 1 shared papers
• Jim de Groot 1 shared papers
• Lars Birkedal (Aarhus University 1 shared papers
• Rasmus E. M{\o}gelberg 1 shared papers
• Zh\'e H\'ou 1 shared papers
• Zhe Hou 1 shared papers