Informace o publikaci
The Power-Set Construction for Tree Algebras
| Autoři | |
|---|---|
| Rok publikování | 2023 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | LOGICAL METHODS IN COMPUTER SCIENCE |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | https://lmcs.episciences.org/12507/pdf |
| Doi | https://doi.org/10.46298/lmcs-19(4:9)2023 |
| Klíčová slova | tree algebras; power-set functor; distributive law |
| Přiložené soubory | |
| Popis | We study power-set operations on classes of trees and tree algebras. Our main result consists of a distributive law between the tree monad and the upwards-closed power-set monad, in the case where all trees are assumed to be linear. For non-linear ones, we prove that such a distributive law does not exist. |