Richard Garner

According to our database, Richard Garner authored at least 20 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Hypernormalisation in an abstract setting.

Richard Garner

Inf. Comput., August, 2023

Stream processors and comodels.

Richard Garner

Log. Methods Comput. Sci., 2023

2022

The costructure-cosemantics adjunction for comodels for computational effects.

Richard Garner

Math. Struct. Comput. Sci., April, 2022

2021

Cartesian Differential Categories as Skew Enriched Categories.

Richard Garner, Jean-Simon Pacaud Lemay

Appl. Categorical Struct., 2021

2020

Ultrafilters, finite coproducts and locally connected classifying toposes.

Richard Garner

Ann. Pure Appl. Log., 2020

The Vietoris Monad and Weak Distributive Laws.

Richard Garner

Appl. Categorical Struct., 2020

2019

Bousfield Localisation and Colocalisation of One-Dimensional Model Structures.

Scott Balchin, Richard Garner

Appl. Categorical Struct., 2019

2018

Shapely monads and analytic functors.

Richard Garner, Tom Hirschowitz

J. Log. Comput., 2018

An enriched view on the extended finitary monad-Lawvere theory correspondence.

Richard Garner, John Power

Log. Methods Comput. Sci., 2018

Hypernormalisation, linear exponential monads and the Giry tricocycloid.

Richard Garner

CoRR, 2018

2014

Revisiting the categorical interpretation of dependent type theory.

Pierre-Louis Curien, Richard Garner, Martin Hofmann

Theor. Comput. Sci., 2014

Restriction categories as enriched categories.

J. Robin B. Cockett, Richard Garner

Theor. Comput. Sci., 2014

Combinatorial structure of type dependency.

Richard Garner

CoRR, 2014

2012

Topological and Simplicial Models of Identity Types.

Benno van den Berg, Richard Garner

ACM Trans. Comput. Log., 2012

An abstract view on syntax with sharing.

Richard Garner

J. Log. Comput., 2012

2009

Two-dimensional models of type theory.

Richard Garner

Math. Struct. Comput. Sci., 2009

On the strength of dependent products in the type theory of Martin-Löf.

Richard Garner

Ann. Pure Appl. Log., 2009

Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs.

Richard Garner, Tom Hirschowitz, Aurélien Pardon

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

The identity type weak factorisation system.

Nicola Gambino, Richard Garner

Theor. Comput. Sci., 2008

Graphical Presentations of Symmetric Monoidal Closed Theories

Richard Garner, Tom Hirschowitz, Aurélien Pardon

CoRR, 2008