Publication details
Algebraic Language Theory for Eilenberg–Moore Algebras
| Authors | |
|---|---|
| Year of publication | 2021 |
| Type | Article in Periodical |
| Magazine / Source | Logical Methods in Computer Science |
| MU Faculty or unit | |
| Citation | |
| web | https://lmcs.episciences.org/7364 |
| Doi | https://doi.org/10.23638/LMCS-17(2:6)2021 |
| Keywords | algebraic language theory; monads |
| Description | 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'. |
| Related projects: |