Richard Garner

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 14

Top Topics

Broad Categories

Computational Tools

Automatically Classify

Top Venues

Appl. Categorical Struct.

Log. Methods Comput. Sci.

Theor. Comput. Sci.

Publications

Richard Garner
Hypernormalisation in an abstract setting. Inf. Comput. 293 (2023)
Richard Garner
Stream processors and comodels. Log. Methods Comput. Sci. 19 (1) (2023)
Richard Garner
The costructure-cosemantics adjunction for comodels for computational effects. Math. Struct. Comput. Sci. 32 (4) (2022)
Richard Garner
Stream processors and comodels. CoRR (2021)
Richard Garner, Jean-Simon Pacaud Lemay
Cartesian Differential Categories as Skew Enriched Categories. Appl. Categorical Struct. 29 (6) (2021)
Richard Garner
Stream Processors and Comodels. CALCO (2021)
Richard Garner
Ultrafilters, finite coproducts and locally connected classifying toposes. Ann. Pure Appl. Log. 171 (10) (2020)
Richard Garner
The Vietoris Monad and Weak Distributive Laws. Appl. Categorical Struct. 28 (2) (2020)
Richard Garner
The costructure-cosemantics adjunction for comodels for computational effects. CoRR (2020)
Scott Balchin, Richard Garner
Bousfield Localisation and Colocalisation of One-Dimensional Model Structures. Appl. Categorical Struct. 27 (1) (2019)
Richard Garner, John Power
An enriched view on the extended finitary monad-Lawvere theory correspondence. Log. Methods Comput. Sci. 14 (1) (2018)
Richard Garner, Tom Hirschowitz
Shapely monads and analytic functors. J. Log. Comput. 28 (1) (2018)
Richard Garner
Hypernormalisation, linear exponential monads and the Giry tricocycloid. CoRR (2018)
Richard Garner, Tom Hirschowitz
Shapely monads and analytic functors. CoRR (2015)
Richard Garner
Combinatorial structure of type dependency. CoRR (2014)
Pierre-Louis Curien, Richard Garner, Martin Hofmann
Revisiting the categorical interpretation of dependent type theory. Theor. Comput. Sci. 546 (2014)
J. Robin B. Cockett, Richard Garner
Restriction categories as enriched categories. Theor. Comput. Sci. 523 (2014)
J. Robin B. Cockett, Richard Garner
Restriction categories as enriched categories CoRR (2012)
Benno van den Berg, Richard Garner
Topological and Simplicial Models of Identity Types. ACM Trans. Comput. Log. 13 (1) (2012)
Richard Garner
An abstract view on syntax with sharing. J. Log. Comput. 22 (6) (2012)
Richard Garner
An abstract view on syntax with sharing CoRR (2010)
Richard Garner, Tom Hirschowitz, Aurélien Pardon
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. CONCUR (2009)
Richard Garner
Two-dimensional models of type theory. Math. Struct. Comput. Sci. 19 (4) (2009)
Richard Garner, Tom Hirschowitz, Aurélien Pardon
Variable binding, symmetric monoidal closed theories, and bigraphs CoRR (2009)
Richard Garner
On the strength of dependent products in the type theory of Martin-Löf. Ann. Pure Appl. Log. 160 (1) (2009)
Richard Garner, Tom Hirschowitz, Aurélien Pardon
Graphical Presentations of Symmetric Monoidal Closed Theories CoRR (2008)
Nicola Gambino, Richard Garner
The identity type weak factorisation system. Theor. Comput. Sci. 409 (1) (2008)