If you made any changes in Pure these will be visible here soon.

Search results

  • 2022

    Quantitative polynomial functors

    Nakov, G. & Nordvall Forsberg, F., 4 Aug 2022, 27th International Conference on Types for Proofs and Programs (TYPES 2021). Basold, H., Cockx, J. & Ghilezan, S. (eds.). Dagstuhl, Germany, Vol. 239. p. 10:1--10:22 22 p. 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 239).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    4 Downloads (Pure)
  • 2021

    Quantitative polynomial functors

    Nakov, G. & Forsberg, F. N., 3 Sep 2021, 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Gadducci, F. & Silva, A. (eds.). Dagstuhl, Germany, p. 22:1-22:5 5 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 211).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    4 Downloads (Pure)