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.

• Share and Export
  

  RDF+XMLBibTeXRIOXX2 XMLRDF+N-TriplesJSONDublin CoreAtomSimple MetadataReferMETSHTML CitationASCII CitationOpenURL ContextObjectEndNoteOpenURL ContextObject in SpanMODSMPEG-21 DIDLEP3 XMLData Cite XMLRIS (EndNote Online, Zotero, Ref manager, etc)RDF+N3Multiline CSV
• Item metadata

  Item type:	Book Section
  ID code:	81079
  Dates:	Date Event 4 August 2022 Published 27 May 2022 Accepted
  Notes:	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:	11 Apr 2024 00:19
  Related URLs:	Related item
  URI:	https://strathprints.strath.ac.uk/id/eprint/81079