Hsiang-Shang Ko. Analysis and synthesis of inductive families. PhD thesis, University of Oxford, UK, 2014. [doi]
@phdthesis{ethos-249, title = {Analysis and synthesis of inductive families}, author = {Hsiang-Shang Ko}, year = {2014}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.627830}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-249}, cites = {0}, citedby = {0}, school = {University of Oxford, UK}, }