Quantitative polynomial functors. (English) Zbl 07890960
Basold, Henning (ed.) et al., 27th international conference on types for proofs and programs, TYPES 2021, Leiden, The Netherlands, virtual conference, June 14–18, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 239, Article 10, 22 p. (2022).