Richard Garner

28 papers B 2Journal 26

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