Powermonads and Tensors of Unranked Effects (bibtex)
by Sergey Goncharov, Lutz Schröder
Reference:
Powermonads and Tensors of Unranked Effects (Sergey Goncharov, Lutz Schröder), In Logic in Computer Science (LICS 2011) (Martin Grohe, ed.), 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}
}
Powered by bibtexbrowser