Ranald Clouston

Nominal Equational Logic

Ranald Clouston, Andrew M. Pitts · Electronic Notes in Theoretical Computer Science · 2007 · 59 citations · Full text

Modal dependent type theory and dependent right adjoints

Lars Birkedal, Ranald Clouston, Bassel Mannaa et al. · Apollo (University of Cambridge) · 2019 · 40 citations · Full text

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

Ranald Clouston, Aleš Bizjak, Hans Bugge Grathwohl et al. · Logical Methods in Computer Science · 2017 · 21 citations · Full text

Engineering, Type Theory, Verification +16

Proof search for propositional abstract separation logics via labelled sequents

Zhé Hóu, Ranald Clouston, Rajeev Goré et al. · 2014 · 17 citations

Applied Logic, Engineering, Classical Logic +17

Guarded Cubical Type Theory: Path Equality for Guarded Recursion

Lars Birkedal, Aleš Bizjak, Ranald Clouston et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 15 citations · Full text