%0 Thesis %1 phd/ethos/Chapman09 %A Chapman, James %D 2009 %K %T Type checking and normalisation.

@phdthesis{phd/ethos/Chapman09, added-at = {2023-12-14T14:30:34.000+0100}, author = {Chapman, James}, biburl = {https://www.bibsonomy.org/bibtex/26d983ca26d360fa056c5ec17ababfdf4/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.514812}, interhash = {e043824c12502ff0a64f0222df31a40a}, intrahash = {6d983ca26d360fa056c5ec17ababfdf4}, keywords = {}, note = {British Library, EThOS}, school = {University of Nottingham, UK}, timestamp = {2023-12-14T14:30:34.000+0100}, title = {Type checking and normalisation.}, year = 2009 }