Nie jesteś zalogowany |
Distributive laws of monads over comonads can't be formatted
- Prelegent(ci)
- Bartek Klin
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 4 czerwca 2014 14:15
- Pokój
- p. 5870
- Seminarium
- Seminarium „Teoria automatów”
We use bialgebraic methods to prove that bialgebraic methods are useless.
Specifically, we show that distributive laws of monads over comonads, which are a common abstract generalization
of some concrete formats of well-structured operational definitions, do not admit a concrete presentation. In the process
we prove that it is undecidable whether an operational stream definition, or an SOS specification, is well-formed.
Specifically, we show that distributive laws of monads over comonads, which are a common abstract generalization
of some concrete formats of well-structured operational definitions, do not admit a concrete presentation. In the process
we prove that it is undecidable whether an operational stream definition, or an SOS specification, is well-formed.
