Species, Profunctors and Taylor Expansion Weighted by SMCC

DOI10.1145/3209108.3209157zbMATH Open1497.68128OpenAlexW2798871919WikidataQ130925617 ScholiaQ130925617MaRDI QIDQ5145368FDOQ5145368

Author name not available (Why is that?)

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Species, Hopf monoids, operads in combinatorics (18M80)

Cited In (5)

• Stabilized profunctors and stable species of structures
• Taylor expansion, finiteness and strategies
• Title not available (Why is that?)
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
• On the Taylor expansion of probabilistic λ-terms

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

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