Publications of in 2021
Paolo Baldan, Richard Eggert, Barbara König, and Tommaso Padoan. Fixpoint theory – upside down. In Proc. of FOSSACS '21, pages 62–81. Springer, 2021. LNCS/ARCoSS 12650. |
| ||||
Harsh Beohar, Barbara König, Sebastian Küpper, and Christina Mika-Michalski. Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic, 2021. arXiv:2110.09911. |
|