1,721,019 research outputs found

    Richard Garner in his backyard

    No full text
    Richard Garner in his backyar

    Richard Garner interview, November 4, 2017 (transcript)

    No full text
    Richard Garner interview, November 4, 2017 (transcript

    Richard Garner interview, November 4, 2017 (audio)

    No full text
    Richard Garner interview, November 4, 2017 (audio

    Richard Garner. — Law and Society in Classical Athens, 1987

    No full text
    Mossé Claude. Richard Garner. — Law and Society in Classical Athens, 1987. In: Revue des Études Anciennes. Tome 92, 1990, n°1-2. pp. 171-172

    Richard Garner. — Law and Society in Classical Athens, 1987

    No full text
    Mossé Claude. Richard Garner. — Law and Society in Classical Athens, 1987. In: Revue des Études Anciennes. Tome 92, 1990, n°1-2. pp. 171-172

    Stream processors and comodels

    Full text link
    In 2009, Hancock, Pattinson and Ghani gave a coalgebraic characterisation of stream processors ANBNA^\mathbb{N} \to B^\mathbb{N} drawing on ideas of Brouwerian constructivism. Their stream processors have an intensional character; in this paper, we give a corresponding coalgebraic characterisation of extensional stream processors, i.e., the set of continuous functions ANBNA^\mathbb{N} \to B^\mathbb{N}. Our account sites both our result and that of op. cit. within the apparatus of comodels for algebraic effects originating with Power-Shkaravska. Within this apparatus, the distinction between intensional and extensional equivalence for stream processors arises in the same way as the the distinction between bisimulation and trace equivalence for labelled transition systems and probabilistic generative systems

    An enriched view on the extended finitary monad-Lawvere theory correspondence

    Full text link
    We give a new account of the correspondence, first established by Nishizawa--Power, between finitary monads and Lawvere theories over an arbitrary locally finitely presentable base. Our account explains this correspondence in terms of enriched category theory: the passage from a finitary monad to the corresponding Lawvere theory is exhibited as an instance of free completion of an enriched category under a class of absolute colimits. This extends work of the first author, who established the result in the special case of finitary monads and Lawvere theories over the category of sets; a novel aspect of the generalisation is its use of enrichment over a bicategory, rather than a monoidal category, in order to capture the monad--theory correspondence over all locally finitely presentable bases simultaneously.<br/

    Richard Garner, From Homer to Tragedy. An Art of Allusion in Greek Poetry

    No full text
    Van Looy Herman. Richard Garner, From Homer to Tragedy. An Art of Allusion in Greek Poetry. In: L'antiquité classique, Tome 62, 1993. pp. 264-266

    Going Beyond Counting First Authors in Author Co-citation Analysis

    Full text link
    The present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
    corecore