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]
No references recorded for this publication.
No citations of this publication recorded.