BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Clouston:Ranald

Contributed to:

FoSSaCS 20152015
POPL 20142014
CSL 20132013
FOSSACS 20132013
CSL 20162016
CSL 20202020

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.