Zum Inhalt springen

  1. Constantin, Carmen [Verfasser:in]; Dicaire, Nuiok [Verfasser:in]; Heunen, Chris [Verfasser:in] ; Carmen Constantin and Nuiok Dicaire and Chris Heunen [Mitwirkende:r]

    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

  4. Dorsch, Ulrich [Verfasser:in]; Milius, Stefan [Verfasser:in]; Schröder, Lutz [Verfasser:in] ; Ulrich Dorsch and Stefan Milius and Lutz Schröder [Mitwirkende:r]

    Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum

    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, 2019

  5. Ford, Chase [Verfasser:in] ; Schröder, Lutz [Akademische:r Betreuer:in]; Sokolova, Ana [Sonstige Person, Familie und Körperschaft]

    Presentations of Graded Coalgebraic Semantics

    Bücher
    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.

    Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2023

  6. Katsumata, Shin-ya; McDermott, Dylan; Uustalu, Tarmo; Wu, Nicolas

    Flexible presentations of graded 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.

    Association for Computing Machinery (ACM), 2022

    Erschienen in: Proceedings of the ACM on Programming Languages, 6 (2022) ICFP, Seite 902-930

  7. Orchard, Dominic; Wadler, Philip; Eades, Harley

    Unifying graded and parameterised 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.

    Open Publishing Association, 2020

    Erschienen in: Electronic Proceedings in Theoretical Computer Science, 317 (2020), Seite 18-38