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
https://portal.mardi4nfdi.de/entity/Q2958523	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