Fixed Points In Quantitative Semantics

DOI10.1145/2933575.2934569MaRDI QIDQ4635890zbMATH OpenOpenAlexFDO

Authors

Publication date 23 April 2018

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

Full work available at URL http://opus.bath.ac.uk/51462/1/lics16.pdf

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1342272
• scientific article; zbMATH DE number 1223625
• A duality theorem for quantitative semantics
• Quantitative semantics, topology, and possibility measures
• Categorical fixed point semantics
• Quantitative deduction and its fixpoint theory
• scientific article; zbMATH DE number 2160560
• scientific article; zbMATH DE number 1512862
• Quantifiers in frame semantics

Cited in

(11)

• Weighted models for higher-order computation
• From qualitative to quantitative semantics. By change of base
• On the Taylor expansion of -terms and the groupoid structure of their rigid approximants
• Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs
• scientific article; zbMATH DE number 7089070 (Why is no real title available?)
• Qualitative versus quantitative fixed point techniques in computer science
• Biproducts in monoidal categories
• A monoidal view on fixpoint checks
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
• Combining fixpoint and differentiation theory
• The sup connective in IMALL: a categorical semantics

This page was built for publication: Fixed Points In Quantitative Semantics

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