`Travelled to:`

1 × USA

1 × United Kingdom

2 × Italy

`Collaborated with:`

R.Goré A.Tiu ∅ A.Bizjak H.B.Grathwohl L.Birkedal Z.Hou J.E.Dawson T.Lyon B.Spitters A.Vezzosi

`Talks about:`

sequent (4) logic (4) guard (3) intuitionist (2) abstract (2) recurs (2) type (2) generalis (1) proposit (1) interpol (1)

## Person: Ranald Clouston

### DBLP: Clouston:Ranald

### Contributed to:

### Wrote 7 papers:

- FoSSaCS-2015-CloustonBGB #induction #programming #reasoning #recursion
- Programming and Reasoning with Guarded Recursion for Coinductive Types (RC, AB, HBG, LB), pp. 407–421.
- FoSSaCS-2015-CloustonG #calculus
- Sequent Calculus in the Topos of Trees (RC, RG), pp. 133–147.
- POPL-2014-HouCGT #logic #proving
- Proof search for propositional abstract separation logics via labelled sequents (ZH, RC, RG, AT), pp. 465–476.
- CSL-2013-CloustonDGT #calculus #linear #logic
- Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic (RC, JED, RG, AT), pp. 197–214.
- FoSSaCS-2013-Clouston #abstraction #set
- Generalised Name Abstraction for Nominal Sets (RC), pp. 434–449.
- CSL-2016-BirkedalBCGSV #recursion #similarity #type system
- Guarded Cubical Type Theory: Path Equality for Guarded Recursion (LB, AB, RC, HBG, BS, AV), p. 17.
- CSL-2020-LyonTGC #logic
- Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents (TL, AT, RG, RC), p. 16.