Quantitative polynomial functors

DOI10.4230/LIPICS.TYPES.2021.10MaRDI QIDQ6582091FDOQ6582091

Authors:

Publication date: 1 August 2024

zbMATH Keywords

polynomial functorsinductive data typesquantitative type theory

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

This page was built for publication: Quantitative polynomial functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6582091)