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