Fixed Points In Quantitative Semantics

DOI10.1145/2933575.2934569zbMath1401.68174OpenAlexW2513421427MaRDI QIDQ4635890

No author found.

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

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

Related Items (5)

Unnamed Item ⋮ Unnamed Item ⋮ Weighted models for higher-order computation ⋮ From Qualitative to Quantitative Semantics ⋮ Unnamed Item

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