Computing with Semirings and Weak Rig Groupoids
Abstract elided by the publisher.
Related papers
- Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages POPL 2022
- With a Few Square Roots, Quantum Computing Is as Easy as Pi POPL 2024
- How to Bake a Quantum Π ICFP 2024
- Quantum information effects POPL 2022
- Bounded Linear Types in a Resource Semiring ESOP 2014
- Regular expression containment: coinductive axiomatization and computational interpretation POPL 2011
- Fun with semirings: a functional pearl on the abuse of linear algebra ICFP 2013
- Semiring-based contstraint logic programming: syntax and semantics TOPLAS 2001