Follow
Ranald Clouston
Ranald Clouston
Verified email at anu.edu.au - Homepage
Title
Cited by
Cited by
Year
Guarded dependent type theory with coinductive types
A Bizjak, HB Grathwohl, R Clouston, RE Møgelberg, L Birkedal
International Conference on Foundations of Software Science and Computation …, 2016
722016
Nominal equational logic
RA Clouston, AM Pitts
Electronic Notes in Theoretical Computer Science 172, 223-257, 2007
692007
Guarded cubical type theory: Path equality for guarded recursion
L Birkedal, A Bizjak, R Clouston, HB Grathwohl, B Spitters, A Vezzosi
arXiv preprint arXiv:1606.05223, 2016
60*2016
Fitch-style modal lambda calculi
R Clouston
International Conference on Foundations of Software Science and Computation …, 2018
492018
Programming and reasoning with guarded recursion for coinductive types
R Clouston, A Bizjak, HB Grathwohl, L Birkedal
International Conference on Foundations of Software Science and Computation …, 2015
442015
Modal dependent type theory and dependent right adjoints
L Birkedal, R Clouston, B Mannaa, RE Møgelberg, AM Pitts, B Spitters
Mathematical Structures in Computer Science 30 (2), 118-138, 2020
392020
The guarded lambda-calculus: Programming and reasoning with guarded recursion for coinductive types
L Birkedal, HB Grathwohl, A Bizjak, R Clouston
Logical Methods in Computer Science 12, 2017
242017
Proof search for propositional abstract separation logics via labelled sequents
Z Hóu, R Clouston, R Goré, A Tiu
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
212014
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic
R Clouston, J Dawson, R Goré, A Tiu
Computer Science Logic (CSL 2013) 23, 197-214, 2013
162013
Sequent calculus in the topos of trees
R Clouston, R Goré
International Conference on Foundations of Software Science and Computation …, 2015
152015
Syntactic interpolation for tense logics and bi-intuitionistic logic via nested sequents
T Lyon, A Tiu, R Goré, R Clouston
arXiv preprint arXiv:1910.05215, 2019
132019
Equational logic for names and binding
R Clouston
PhD thesis, University of Cambridge, 2010
122010
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic--Extended Version
R Clouston, J Dawson, R Goré, A Tiu
arXiv preprint arXiv:1307.0289, 2013
112013
Nominal lawvere theories
R Clouston
International Workshop on Logic, Language, Information, and Computation, 67-83, 2011
112011
Equational logic for names and binders
RA Clouston
University of Cambridge, 2010
112010
Closed terms (unpublished notes)
R Clouston
10*2007
Modular labelled sequent calculi for abstract separation logics
Z Hóu, R Clouston, R Goré, A Tiu
ACM Transactions on Computational Logic (TOCL) 19 (2), 1-35, 2018
82018
Binding in nominal equational logic
R Clouston
Mathematical Foundations of Programming Semantics (MFPS) 265, 259-276, 2010
82010
Modal dependent type theory and dependent right adjoints
R Clouston, B Mannaa, RE Møgelberg, AM Pitts, B Spitters
arXiv preprint arXiv:1804.05236, 2018
72018
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic
JE Dawson, R Clouston, R Goré, A Tiu
Theoretical Computer Science (TCS), 2014
72014
The system can't perform the operation now. Try again later.
Articles 1–20