Zum Inhalt springen

  1. Constantin, Carmen [VerfasserIn]; Dicaire, Nuiok [VerfasserIn]; Heunen, Chris [VerfasserIn] ; Carmen Constantin and Nuiok Dicaire and Chris Heunen [MitwirkendeR]

    Localisable Monads

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  2. Jia, Xiaodong [VerfasserIn]; Mislove, Michael [VerfasserIn]; Zamdzhiev, Vladimir [VerfasserIn] ; Xiaodong Jia and Michael Mislove and Vladimir Zamdzhiev [MitwirkendeR]

    The Central Valuations Monad (Early Ideas)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  3. Hyland, Martin; Power, John

    Pseudo-commutative Monads

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Elsevier BV, 2001

    Erschienen in: Electronic Notes in Theoretical Computer Science, 45 (2001), Seite 197-208