Highly Influenced

20 Excerpts

@article{Laird2016FixedPI, title={Fixed Points In Quantitative Semantics}, author={J. Laird}, journal={2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, year={2016}, pages={1-10} }

- Published in 31st Annual ACM/IEEE Symposium on Logic in…2016
DOI:10.1145/2933575.2934569

We describe an interpretation of recursive computation in a symmetric monoidal category with infinite biproducts and cofree commutative comonoids (for instance, the category of free modules over a complete semiring). Such categories play a significant role in "quantitative" models of computation: they bear a canonical complete monoid enrichment, but may not be cpo-enriched, making standard techniques for reasoning about fixed points unavailable. By constructing a bifree algebra for the cofree… CONTINUE READING

SHOWING 1-5 OF 5 CITATIONS

Highly Influenced

20 Excerpts

3 Excerpts

SHOWING 1-3 OF 3 REFERENCES

Highly Influential

6 Excerpts

Highly Influential

14 Excerpts

Highly Influential

14 Excerpts

Loading similar papers…