| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Sergey Goncharov, Lutz Schröder |
| Herausgeber: |
Martin Grohe |
| Titel: |
Powermonads and Tensors of Unranked Effects |
| Buch / Sammlungs-Titel: |
Logic in Computer Science (LICS 2011) |
| Erscheinungsjahr: |
2011 |
| Verleger: |
IEEE Computer Society |
| Internet: |
http://arxiv.org/abs/1101.2777 |
| Schlagworte: |
monads tensors non-determinism continuations unranked uniform order-theoretic conservativity |
| Anmerkung / Hinweis: |
To appear |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
09. 03. 2011 |
