Kleene monads (bibtex)
by Sergey Goncharov
Reference:
Sergey Goncharov: Kleene monads, PhD thesis, Universität Bremen, 2010. [pdf]
Bibtex Entry:
@PhdThesis{Goncharov10,
  author = {Sergey Goncharov},
  title = {Kleene monads},
  year = {2010},
  school = {Universit{\"a}t Bremen},
  keywords = {kleene algebra, computational monads, program equivalence},
  comment={<a href="https://www8.cs.fau.de/ext/sergey/papers/kleene_monad_phd.pdf">[pdf]</a>}
}
Powered by bibtexbrowser