Richard Garner

Orcid: 0000-0003-4475-8721

Affiliations:
  • Macquarie University, NSW, Australia
  • Uppsala University, Sweden
  • University of Cambridge, UK


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Hypernormalisation in an abstract setting.
Inf. Comput., August, 2023

Stream processors and comodels.
Log. Methods Comput. Sci., 2023

2022
The costructure-cosemantics adjunction for comodels for computational effects.
Math. Struct. Comput. Sci., April, 2022

2021
Cartesian Differential Categories as Skew Enriched Categories.
Appl. Categorical Struct., 2021

2020
Ultrafilters, finite coproducts and locally connected classifying toposes.
Ann. Pure Appl. Log., 2020

The Vietoris Monad and Weak Distributive Laws.
Appl. Categorical Struct., 2020

2019
Bousfield Localisation and Colocalisation of One-Dimensional Model Structures.
Appl. Categorical Struct., 2019

2018
Shapely monads and analytic functors.
J. Log. Comput., 2018

An enriched view on the extended finitary monad-Lawvere theory correspondence.
Log. Methods Comput. Sci., 2018

Hypernormalisation, linear exponential monads and the Giry tricocycloid.
CoRR, 2018

2014
Revisiting the categorical interpretation of dependent type theory.
Theor. Comput. Sci., 2014

Restriction categories as enriched categories.
Theor. Comput. Sci., 2014

Combinatorial structure of type dependency.
CoRR, 2014

2012
Topological and Simplicial Models of Identity Types.
ACM Trans. Comput. Log., 2012

An abstract view on syntax with sharing.
J. Log. Comput., 2012

2009
Two-dimensional models of type theory.
Math. Struct. Comput. Sci., 2009

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

Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008
The identity type weak factorisation system.
Theor. Comput. Sci., 2008

Graphical Presentations of Symmetric Monoidal Closed Theories
CoRR, 2008


  Loading...