Informace o publikaci
Algebraic Language Theory for Eilenberg–Moore Algebras
| Autoři | |
|---|---|
| Rok publikování | 2021 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Logical Methods in Computer Science |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | https://lmcs.episciences.org/7364 |
| Doi | https://doi.org/10.23638/LMCS-17(2:6)2021 |
| Klíčová slova | algebraic language theory; monads |
| Popis | We develop an algebraic language theory based on the notion of an Eilenberg--Moore algebra. In comparison to previous such frameworks the main contribution is the support for algebras with infinitely many sorts and the connection to logic in form of so-called `definable algebras'. |
| Související projekty: |