Graphical Presentations of Symmetric Monoidal Closed Theories - Richard Garner; Tom Hirschowitz; Aurélien Pardon (CoRR, 2008)

The identity type weak factorisation system. - Nicola Gambino; Richard Garner (Theor. Comput. Sci., 2008)

Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. - Richard Garner; Tom Hirschowitz; Aurélien Pardon (CONCUR, 2009)

On the strength of dependent products in the type theory of Martin-Löf. - Richard Garner (Ann. Pure Appl. Log., 2009)

Two-dimensional models of type theory. - Richard Garner (Math. Struct. Comput. Sci., 2009)

An abstract view on syntax with sharing. - Richard Garner (J. Log. Comput., 2012)

Topological and Simplicial Models of Identity Types. - Benno van den Berg; Richard Garner (ACM Trans. Comput. Log., 2012)

Combinatorial structure of type dependency. - Richard Garner (CoRR, 2014)

Restriction categories as enriched categories. - J. Robin B. Cockett; Richard Garner (Theor. Comput. Sci., 2014)

Revisiting the categorical interpretation of dependent type theory. - Pierre-Louis Curien; Richard Garner; Martin Hofmann 001 (Theor. Comput. Sci., 2014)

Hypernormalisation, linear exponential monads and the Giry tricocycloid. - Richard Garner (CoRR, 2018)

An enriched view on the extended finitary monad-Lawvere theory correspondence. - Richard Garner; John Power (Log. Methods Comput. Sci., 2018)

Shapely monads and analytic functors. - Richard Garner; Tom Hirschowitz (J. Log. Comput., 2018)

Bousfield Localisation and Colocalisation of One-Dimensional Model Structures. - Scott Balchin; Richard Garner (Appl. Categorical Struct., 2019)

The Vietoris Monad and Weak Distributive Laws. - Richard Garner (Appl. Categorical Struct., 2020)

Ultrafilters, finite coproducts and locally connected classifying toposes. - Richard Garner (Ann. Pure Appl. Log., 2020)

Cartesian Differential Categories as Skew Enriched Categories. - Richard Garner; Jean-Simon Pacaud Lemay (Appl. Categorical Struct., 2021)

The costructure-cosemantics adjunction for comodels for computational effects. - Richard Garner (Math. Struct. Comput. Sci., 2022)

Stream processors and comodels. - Richard Garner (Log. Methods Comput. Sci., 2023)

Hypernormalisation in an abstract setting. - Richard Garner (Inf. Comput., 2023)