Zum Inhalt springen

  1. Eberhart, Clovis [VerfasserIn]; Hirschowitz, Tom [VerfasserIn] ; Clovis Eberhart and Tom Hirschowitz [MitwirkendeR]

    Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics

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

  4. 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

  5. Mannaa, Bassel [VerfasserIn]; Møgelberg, Rasmus Ejlers [VerfasserIn] ; Bassel Mannaa and Rasmus Ejlers Møgelberg [MitwirkendeR]

    The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory

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

  6. Behr, Nicolas [VerfasserIn]; Melliès, Paul-André [VerfasserIn]; Zeilberger, Noam [VerfasserIn] ; Nicolas Behr and Paul-André Melliès and Noam Zeilberger [MitwirkendeR]

    Convolution Products on Double Categories and Categorification of Rule Algebras

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

  7. Zanfa, Riccardo [VerfasserIn] ; Connes, Alain (Moderation) [Sonstige Person, Familie und Körperschaft]; Caramello, Olivia [Sonstige Person, Familie und Körperschaft]

    Extending the topological presheaf-bundle adjunction to sites and toposes

    Videos
    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.

    [Erscheinungsort nicht ermittelbar]: Institut des Hautes Études Scientifiques (IHÉS), 2021

    Erschienen in: Toposes online, 2021 ; (Jan. 2021)

  9. Beke, Tibor

    Theories of presheaf type

    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.

    Cambridge University Press (CUP), 2004

    Erschienen in: Journal of Symbolic Logic, 69 (2004) 3, Seite 923-934

  10. Beke, Tibor

    Theories of Presheaf Type

    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 Symbolic Logic, Inc., 2004

    Erschienen in: The Journal of Symbolic Logic, 69 (2004) 3, Seite 923-934

  14. Tsukada, Takeshi; Asada, Kazuyuki

    Enriched Presheaf Model of Quantum FPC

    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), 2024

    Erschienen in: Proceedings of the ACM on Programming Languages, 8 (2024) POPL, Seite 362-392