Quantitative Polynomial Functors

Georgi Nakov, Fredrik Nordvall Forsberg. Quantitative Polynomial Functors. In Henning Basold, Jesper Cockx, Silvia Ghilezan, editors, 27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference). Volume 239 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: