Quantitative polynomial functors

Nakov, Georgi and Forsberg, Fredrik Nordvall; Gadducci, Fabio and Silva, Alexandra, eds. (2021) Quantitative polynomial functors. In: 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Leibniz International Proceedings in Informatics (LIPIcs) . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, AUT, 22:1-22:5. ISBN 9783959772129 (https://doi.org/10.4230/LIPIcs.CALCO.2021.22)

Preview

Text. Filename: Nakov_Forsberg_CALCO_2021_Quantitative_polynomial.pdf Final Published Version License: Download (282kB)| 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

Forsberg, Fredrik Nordvall ORCID: https://orcid.org/0000-0001-6157-9288

• Share and Export
  

  Dublin CoreRIS (EndNote Online, Zotero, Ref manager, etc)Data Cite XMLEP3 XMLMPEG-21 DIDLMETSMODSOpenURL ContextObject in SpanRefWorksEndNoteReferBibTeXASCII CitationRDF+N3RIOXX2 XMLMultiline CSVOpenURL ContextObjectRDF+XMLSimple MetadataRDF+N-TriplesAtomHTML CitationJSON
• Item metadata

  Item type:	Book Section
  ID code:	79345
  Dates:	Date Event 3 September 2021 Published 29 July 2021 Accepted
  Subjects:	Science > Mathematics > Computer software
  Department:	Faculty of Science > Computer and Information Sciences
  Depositing user:	Pure Administrator
  Date deposited:	27 Jan 2022 15:31
  Last modified:	23 Dec 2024 01:05
  Related URLs:	Scopus publication Event
  URI:	https://strathprints.strath.ac.uk/id/eprint/79345