Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs

DOI10.1145/3209108.3209157MaRDI QIDQ5145368zbMATH OpenOpenAlexWikidataFDO

Authors

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

generalised speciesquantitative modelquantum computationrigid resource calculusweighted species

Mathematics Subject Classification ID

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) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Weighted models for higher-order computation
• Quantitative semantics of the lambda calculus. Some generalisations of the relational model
• Weighted relational models of typed lambda-calculi
• From qualitative to quantitative semantics. By change of base
• Fixed Points In Quantitative Semantics

Cited in

(10)

• Taylor expansion, finiteness and strategies
• Weighted models for higher-order computation
• On the Taylor expansion of -terms and the groupoid structure of their rigid approximants
• On the Taylor expansion of probabilistic λ-terms
• Stabilized profunctors and stable species of structures
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
• Categorifying non-idempotent intersection types
• From thin concurrent games to generalized species of structures (extended version)
• Effectful semantics in 2-dimensional categories: premonoidal and Freyd bicategories
• An analysis of symmetry in quantitative semantics

This page was built for publication: Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs

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