Quantitative polynomial functors
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 (https://doi.org/10.4230/LIPIcs.TYPES.2021.10)
Preview |
Text.
Filename: Nakov_Forsberg_TYPES_2021_Quantitative_polynomial_functions.pdf
Final Published Version License: Download (907kB)| Preview |
Abstract
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.
ORCID iDs
Nakov, Georgi and Nordvall Forsberg, Fredrik ORCID: https://orcid.org/0000-0001-6157-9288; Basold, Henning, Cockx, Jesper and Ghilezan, Silvia-
-
Item type: Book Section ID code: 81079 Dates: DateEvent4 August 2022Published27 May 2022AcceptedNotes: URN: urn:nbn:de:0030-drops-167795 Subjects: Science > Mathematics > Electronic computers. Computer science Department: Faculty of Science > Computer and Information Sciences Depositing user: Pure Administrator Date deposited: 14 Jun 2022 08:58 Last modified: 01 Sep 2024 00:54 Related URLs: URI: https://strathprints.strath.ac.uk/id/eprint/81079