Denotational semantics for languages for inference: semirings, monads, and tensors
Computational effects are commonly modelled by monads, but often a monad can be presented by an algebraic theory of operations and equations. This talk is about monads and algebraic theories for languages for inference, and their connections to semirings and tensors. A basic class of examples of a...
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | Artículo |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2312.16694 http://arxiv.org/abs/2312.16694 |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|