2026-07-24T03:28:49Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:15377 2024-03-06T10:55:16Z ddc:004 open_access

Quantitative Polynomial Functors (Early Ideas) Nakov, Georgi Nordvall Forsberg, Fredrik quantitative type theory polynomial functors inductive data types We investigate containers and polynomial functors in Quantitative Type Theory, and give initial algebra semantics of inductive data types in the presence of linearity. We show that reasoning by induction is supported, and equivalent to initiality, also in the linear setting. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Georgi Nakov and Fredrik Nordvall Forsberg 2021 Is Part Of LIPIcs, Volume 211, 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CALCO.2021.22 urn:nbn:de:0030-drops-153774 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.22 eng https://creativecommons.org/licenses/by/4.0/legalcode