%0 Thesis %1 phd/ethos/Hur10 %A Hur, Chung-Kil %D 2010 %K %T Categorical equational systems : algebraic models and equational reasoning.

@phdthesis{phd/ethos/Hur10, added-at = {2023-12-12T22:35:48.000+0100}, author = {Hur, Chung-Kil}, biburl = {https://www.bibsonomy.org/bibtex/2add32d0b91286ee9cfe3be6f7feabfe7/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.608664}, interhash = {4bf499543ed70c782c5df08383f9d634}, intrahash = {add32d0b91286ee9cfe3be6f7feabfe7}, keywords = {}, note = {British Library, EThOS}, school = {University of Cambridge, UK}, timestamp = {2023-12-12T22:35:48.000+0100}, title = {Categorical equational systems : algebraic models and equational reasoning.}, year = 2010 }