( en | de | ru )

 

Disambiguation of "Garner, Richard"

Author of the publication

copydeleteadd this publication to your clipboard
The identity type weak factorisation system.

, and . Theor. Comput. Sci., 409 (1): 94-109 (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Karl Gärner

Philip Garner

Hans Gärner

Herbert Gärner

Christoph Garner

 

Other publications of authors with the same name

The costructure-cosemantics adjunction for comodels for computational effects.. Math. Struct. Comput. Sci., 32 (4): 374-419 (April 2022)Polycategories via pseudo-distributive laws. Adv. Math., 218 (3): 781--827 (2008)Two-dimensional models of type theory.. Math. Struct. Comput. Sci., 19 (4): 687-736 (2009)On the strength of dependent products in the type theory of Martin-Löf.. Ann. Pure Appl. Log., 160 (1): 1-12 (2009)Shapely monads and analytic functors., and . CoRR, (2015)Hypernormalisation in an abstract setting.. Inf. Comput., (August 2023)Ultrafilters, finite coproducts and locally connected classifying toposes.. Ann. Pure Appl. Log., 171 (10): 102831 (2020)The low-dimensional structures formed by tricategories, and . (2007)cite http://arxiv.org/abs/0711.1761arxiv:0711.1761Comment: 41 pages; v2: final journal version.Restriction categories as enriched categories., and . Theor. Comput. Sci., (2014)An abstract view on syntax with sharing. CoRR, (2010)