%0 Thesis %1 phd/ethos/Luth98 %A Lüth, Christoph %D 1998 %K %T Categorical term rewriting : monads and modularity.

@phdthesis{phd/ethos/Luth98, added-at = {2023-12-13T03:10:58.000+0100}, author = {Lüth, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/26553c366dfd80206b1df97f2333c2f07/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561722}, interhash = {8862a758d2215f7ba3b021f819622fa3}, intrahash = {6553c366dfd80206b1df97f2333c2f07}, keywords = {}, note = {British Library, EThOS}, school = {University of Edinburgh, UK}, timestamp = {2023-12-13T03:10:58.000+0100}, title = {Categorical term rewriting : monads and modularity.}, year = 1998 }