Joachim Kock

Joachim Kock

Associate Professor

Member of:


    Publication year:
    All
    1 - 2 out of 2Page size: 10
    1. 2012

    2. Data Types with Symmetries and Polynomial Functors over Groupoids

      Kock, Joachim, 24 Sep 2012, In: Electronic Notes in Theoretical Computer Science. 286, p. 351-365 15 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    3. Double adjunctions and free monads

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    ID: 283957667