Sum and Tensor of Quantitative Effects
Inspired by the seminal work of Hyland, Plotkin, and Power on the combination of algebraic computational effects via sum and tensor, we develop an analogous theory for the combination of quantitative algebraic effects. Quantitative algebraic effects are monadic computational effects on categories of...
Պահպանված է:
| Հիմնական հեղինակներ: | , , , |
|---|---|
| Ձևաչափ: | Artigo |
| Լեզու: | Inglês |
| Հրապարակվել է: |
Logical Methods in Computer Science e.V.
2024-10-01
|
| Շարք: | Logical Methods in Computer Science |
| Խորագրեր: | |
| Առցանց հասանելիություն: | http://lmcs.episciences.org/10761/pdf |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|