Joachim Kock

Joachim Kock

Lektor

Medlem af:


    Udgivelsesår:
    Alle
    1 - 2 ud af 2Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2012

    2. Data Types with Symmetries and Polynomial Functors over Groupoids

      Kock, Joachim, 24 sep. 2012, I: Electronic Notes in Theoretical Computer Science. 286, s. 351-365 15 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    3. Double adjunctions and free monads

      Kock, Joachim, Fiore, T. M. & Gambino, N., 2012, I: Cahiers de Topologie et Géométrie Différentielle Catégoriques. 53, s. 242-307

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    ID: 283957667