Ranald A. Clouston

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5874215	2023-02-07	Paper
Modal dependent type theory and dependent right adjoints	2020-03-11	Paper
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents	2019-10-11	Paper
Guarded cubical type theory	2019-08-21	Paper
Modular labelled sequent calculi for abstract separation logics	2018-08-10	Paper
Fitch-style modal lambda calculi	2018-07-17	Paper
Guarded cubical type theory: path equality for guarded recursion	2017-07-19	Paper
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types	2017-04-11	Paper
Annotation-free sequent calculi for full intuitionistic linear logic	2017-02-02	Paper
Binding in nominal equational logic	2016-07-08	Paper
Guarded dependent type theory with coinductive types	2016-06-10	Paper
Sequent Calculus in the Topos of Trees	2015-10-01	Paper
Programming and reasoning with guarded recursion for coinductive types	2015-10-01	Paper
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic	2014-09-15	Paper
Nominal Lawvere theories: a category theoretic account of equational theories with names	2014-06-10	Paper
Proof search for propositional abstract separation logics via labelled sequents	2014-04-10	Paper
Nominal equational logic	2013-12-06	Paper
Generalised name abstraction for nominal sets	2013-03-18	Paper
Nominal Lawvere Theories	2011-05-27	Paper
Theoretical Aspects of Computing – ICTAC 2005	2006-11-01	Paper

This page was built for person: Ranald A. Clouston