• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 35 matches

• 2023
• 
  Richard Garner:
  Hypernormalisation in an abstract setting. Inf. Comput. 293: 105044 (2023)
• 
  Richard Garner:
  Stream processors and comodels. Log. Methods Comput. Sci. 19(1) (2023)
• 2022
• 
  Richard Garner:
  The costructure-cosemantics adjunction for comodels for computational effects. Math. Struct. Comput. Sci. 32(4): 374-419 (2022)
• 2021
• 
  Richard Garner, Jean-Simon Pacaud Lemay:
  Cartesian Differential Categories as Skew Enriched Categories. Appl. Categorical Struct. 29(6): 1099-1150 (2021)
• 
  Richard Garner:
  Stream Processors and Comodels. CALCO 2021: 15:1-15:17
• 
  Richard Garner:
  Stream processors and comodels. CoRR abs/2106.05473 (2021)
• 2020
• 
  Richard Garner:
  The Vietoris Monad and Weak Distributive Laws. Appl. Categorical Struct. 28(2): 339-354 (2020)
• 
  Richard Garner:
  Ultrafilters, finite coproducts and locally connected classifying toposes. Ann. Pure Appl. Log. 171(10): 102831 (2020)
• 
  Rex Parsons, Richard Parsons, Nicholas Garner, Henrik Oster, Oliver Rawashdeh:
  CircaCompare: a method to estimate and statistically support differences in mesor, amplitude and phase, between circadian rhythms. Bioinform. 36(4): 1208-1212 (2020)
• 
  Richard Garner:
  The costructure-cosemantics adjunction for comodels for computational effects. CoRR abs/2011.14520 (2020)
• 2019
• 
  Scott Balchin, Richard Garner:
  Bousfield Localisation and Colocalisation of One-Dimensional Model Structures. Appl. Categorical Struct. 27(1): 1-21 (2019)
• 
  Sean E. Salazar, Cyrus D. Garner, Richard A. Coffman:
  Development of a Multimode Field Deployable Lidar Instrument for Topographic Measurements of Unsaturated Soil Properties: Instrument Description. Remote. Sens. 11(3): 289 (2019)
• 2018
• 
  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): 33-83 (2018)
• 
  Richard Garner:
  Hypernormalisation, linear exponential monads and the Giry tricocycloid. CoRR abs/1811.02710 (2018)
• 2015
• 
  Richard Garner, Tom Hirschowitz:
  Shapely monads and analytic functors. CoRR abs/1512.05980 (2015)
• 2014
• 
  J. Robin B. Cockett, Richard Garner:
  Restriction categories as enriched categories. Theor. Comput. Sci. 523: 37-55 (2014)
• 
  Pierre-Louis Curien, Richard Garner, Martin Hofmann:
  Revisiting the categorical interpretation of dependent type theory. Theor. Comput. Sci. 546: 99-119 (2014)
• 
  Richard Garner:
  Combinatorial structure of type dependency. CoRR abs/1402.6799 (2014)
• 2012
• 
  Richard Garner:
  An abstract view on syntax with sharing. J. Log. Comput. 22(6): 1427-1452 (2012)
• 
  Benno van den Berg, Richard Garner:
  Topological and Simplicial Models of Identity Types. ACM Trans. Comput. Log. 13(1): 3:1-3:44 (2012)
• 
  J. Robin B. Cockett, Richard Garner:
  Restriction categories as enriched categories. CoRR abs/1211.6170 (2012)
• 2010
• 
  Richard Garner:
  An abstract view on syntax with sharing. CoRR abs/1009.3682 (2010)
• 2009
• 
  Richard Garner:
  On the strength of dependent products in the type theory of Martin-Löf. Ann. Pure Appl. Log. 160(1): 1-12 (2009)
• 
  Richard Garner:
  Two-dimensional models of type theory. Math. Struct. Comput. Sci. 19(4): 687-736 (2009)
• 
  Richard Garner, Tom Hirschowitz, Aurélien Pardon:
  Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. CONCUR 2009: 321-337
• 
  Richard Garner, Tom Hirschowitz, Aurélien Pardon:
  Variable binding, symmetric monoidal closed theories, and bigraphs. CoRR abs/0905.4200 (2009)
• 2008
• 
  Nicola Gambino, Richard Garner:
  The identity type weak factorisation system. Theor. Comput. Sci. 409(1): 94-109 (2008)
• 
  Richard Garner, Tom Hirschowitz, Aurélien Pardon:
  Graphical Presentations of Symmetric Monoidal Closed Theories. CoRR abs/0810.4420 (2008)
• 2006
• 
  Winfried W. Wilcke, Robert B. Garner, Claudio Fleiner, Richard F. Freitas, Richard A. Golding, Joseph S. Glider, Deepak R. Kenchammana-Hosekote, James Lee Hafner, K. Moidin Mohiuddin, K. K. Rao, Ralph A. Becker-Szendy, Theodore M. Wong, Omer A. Zaki, Manuel Hernandez, Kenneth R. Fernandez, Harald Huels, Heinz Lenk, Klaus Smolin, Manfred Ries, Carsten Goettert, Thomas Picunko, Barry J. Rubin, Howard Kahn, Timothy Loo:
  IBM Intelligent Bricks project - Petabytes and beyond. IBM J. Res. Dev. 50(2-3): 181-198 (2006)

skipping 5 more matches