Species, Profunctors and Taylor Expansion Weighted by SMCC

DOI10.1145/3209108.3209157zbMath1497.68128OpenAlexW2798871919WikidataQ130925617 ScholiaQ130925617MaRDI QIDQ5145368

No author found.

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3209108.3209157

zbMATH Keywords

quantum computationquantitative modelweighted speciesgeneralised speciesrigid resource calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Species, Hopf monoids, operads in combinatorics (18M80)

Related Items (3)

Taylor expansion, finiteness and strategies ⋮ Unnamed Item ⋮ On the Taylor expansion of probabilistic λ-terms

This page was built for publication: Species, Profunctors and Taylor Expansion Weighted by SMCC