@inproceedings{fiore_et_al:LIPIcs.FSCD.2022.31,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: Bicategorical models, denotational semantics, stable domain theory, linear logic, polynomial functors, species of structures, groupoids},
    Author = {Fiore, Marcelo and Galal, Zeinab and Paquet, Hugo},
    BookTitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
    Editor = {Felty, Amy P.},
    File = {A Combinatorial Approach to Higher-Order Structure for Polynomial Functors - LIPIcs-FSCD-2022-31 - a.pdf},
    ISBN = {978-3-95977-233-4},
    ISSN = {1868-8969},
    Pages = {31:1--31:19},
    Publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
    Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    Title = {{A Combinatorial Approach to Higher-Order Structure for Polynomial Functors}},
    URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16312},
    Volume = {228},
    Year = {2022},
    bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2022/16312},
    bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.FSCD.2022.31},
    date-added = {2023-03-11 09:34:58 +0100},
    date-modified = {2023-03-11 09:34:58 +0100},
    urn = {urn:nbn:de:0030-drops-163129},
    doi = {10.4230/LIPIcs.FSCD.2022.31}
}

@inproceedings{fiore_et_al:LIPIcs.FSCD.2022.31, Address = {Dagstuhl, Germany}, Annote = {Keywords: Bicategorical models, denotational semantics, stable domain theory, linear logic, polynomial functors, species of structures, groupoids}, Author = {Fiore, Marcelo and Galal, Zeinab and Paquet, Hugo}, BookTitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)}, Editor = {Felty, Amy P.}, File = {A Combinatorial Approach to Higher-Order Structure for Polynomial Functors - LIPIcs-FSCD-2022-31 - a.pdf}, ISBN = {978-3-95977-233-4}, ISSN = {1868-8969}, Pages = {31:1--31:19}, Publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, Series = {Leibniz International Proceedings in Informatics (LIPIcs)}, Title = {{A Combinatorial Approach to Higher-Order Structure for Polynomial Functors}}, URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16312}, Volume = {228}, Year = {2022}, bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2022/16312}, bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.FSCD.2022.31}, date-added = {2023-03-11 09:34:58 +0100}, date-modified = {2023-03-11 09:34:58 +0100}, urn = {urn:nbn:de:0030-drops-163129}, doi = {10.4230/LIPIcs.FSCD.2022.31} }