Combining effects: sum and tensor (Q2500483): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import241208061232 (talk | contribs)
Normalize DOI.
 
(6 intermediate revisions by 5 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.tcs.2006.03.013 / rank
Normal rank
 
Property / author
 
Property / author: J. M. E. Hyland / rank
Normal rank
 
Property / author
 
Property / author: Q175559 / rank
Normal rank
 
Property / author
 
Property / author: J. M. E. Hyland / rank
 
Normal rank
Property / author
 
Property / author: A. John Power / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Haskell / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.tcs.2006.03.013 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1980827618 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3711740 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A domain equation for bisimulation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4293501 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A functional correspondence between monadic evaluators and abstract machines for languages with computational effects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3682648 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3997112 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4813222 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebra valued functors in general and tensor products in particular / rank
 
Normal rank
Property / cites work
 
Property / cites work: Types for Proofs and Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Continuous Lattices and Domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable power domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3907039 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pseudo-commutative Monads / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two-dimensional linear algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pseudo-commutative monads and pseudo-closed 2-categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3203061 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3934579 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3324132 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sketches / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monads on symmetric monoidal closed categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3776953 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some algebraic problems in the context of functorial semantics of algebraic theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4123496 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Concurrent Processes and Their Syntax / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992568 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4536613 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Wellfounded trees in categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3202991 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Notions of computation and monads / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Powerdomain Construction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2771052 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semantics for Algebraic Operations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4738236 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic operations and generic effects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Why tricategories? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4222899 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4704209 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4261097 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4219032 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Variations on algebra: Monadicity and generalisations of equational theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5666704 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The formal theory of monads / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4488202 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Retracted: Semantic domains for combining probability and non-determinism / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.TCS.2006.03.013 / rank
 
Normal rank

Latest revision as of 01:38, 19 December 2024

scientific article
Language Label Description Also known as
English
Combining effects: sum and tensor
scientific article

    Statements

    Combining effects: sum and tensor (English)
    0 references
    0 references
    0 references
    0 references
    16 August 2006
    0 references
    computational effect
    0 references
    Lawvere theory
    0 references
    modularity
    0 references
    monad
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers