Powermonads and Tensors of Unranked Effects (bibtex)

by Sergey Goncharov and Lutz Schröder

Reference:

Sergey Goncharov and Lutz Schröder: Powermonads and Tensors of Unranked Effects, In Martin Grohe, ed.: Logic in Computer Science (LICS 2011), IEEE Computer Society, 2011.

Bibtex Entry:

@InProceedings{GoncharovSchroder,
  author = {Sergey Goncharov and Lutz Schr{\"o}der},
  title = {Powermonads and Tensors of Unranked Effects},
  year = {2011},
  editor = {Martin Grohe},
  booktitle = {Logic in Computer Science (LICS 2011)},
  publisher = {IEEE Computer Society},
  keywords = {monads tensors non-determinism continuations unranked uniform order-theoretic conservativity},
  url = {http://arxiv.org/abs/1101.2777},
  status = {Reviewed}
}