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), pp. 227–236, 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},
  pages     = {227-236},
}
Powered by bibtexbrowser