Now showing items 1-1 of 1

    • List Objects with Algebraic Structure 

      Fiore, Marcelo Pablo; Saville, Philip (Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik, 2017-09)
      We introduce and study the notion of list object with algebraic structure. The first key aspect of our development is that the notion of list object is considered in the context of monoidal structure; the second key aspect ...