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:
2015
2014
2013201320162020Wrote 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.