%0 Thesis %1 phd/ethos/Ko14 %A Ko, Hsiang-Shang %D 2014 %K %T Analysis and synthesis of inductive families.

@phdthesis{phd/ethos/Ko14, added-at = {2023-12-12T21:38:50.000+0100}, author = {Ko, Hsiang-Shang}, biburl = {https://www.bibsonomy.org/bibtex/20d4249c553d80c3f681567043a72243f/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.627830}, interhash = {4151001162d360c751ab73711d6c2096}, intrahash = {0d4249c553d80c3f681567043a72243f}, keywords = {}, note = {British Library, EThOS}, school = {University of Oxford, UK}, timestamp = {2023-12-12T21:38:50.000+0100}, title = {Analysis and synthesis of inductive families.}, year = 2014 }