Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
8 links
Ranald Clouston
Researcher
PaperNominal Logic with Equations OnlyAuthorship / preprint / 2011PaperAnnotation-Free Sequent Calculi for Full Intuitionistic Linear Logic -- Extended VersionAuthorship / preprint / 2013PaperProgramming and Reasoning with Guarded Recursion for Coinductive TypesAuthorship / preprint / 2015PaperSequent Calculus in the Topos of TreesAuthorship / preprint / 2015PaperModal Dependent Type Theory and Dependent Right AdjointsAuthorship / preprint / 2019PaperProof search for propositional abstract separation logics via labelled sequentsAuthorship / preprint / 2013PaperGuarded Dependent Type Theory with Coinductive TypesAuthorship / preprint / 2016PaperGuarded Cubical Type Theory: Path Equality for Guarded RecursionAuthorship / preprint / 2016