Browse by ISBN
Number of items: 1.
Nakov, Georgi and Nordvall Forsberg, Fredrik; Basold, Henning and Cockx, Jesper and Ghilezan, Silvia, eds. (2022) Quantitative polynomial functors. In: 27th International Conference on Types for Proofs and Programs (TYPES 2021). Leibniz International Proceedings in Informatics, LIPIcs, 239 . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 10:1--10:22. ISBN 9783959772549