%0 Thesis %1 phd/ethos/Mitchell03 %A Mitchell, Nicholas P. %D 2003 %K dblp %T Sets, types and specification.

@phdthesis{phd/ethos/Mitchell03, added-at = {2022-04-05T00:00:00.000+0200}, author = {Mitchell, Nicholas P.}, biburl = {https://www.bibsonomy.org/bibtex/2eb807284cc0b2b9f947956df0911a780/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.274376}, interhash = {2df6a9027d665894ac705f388977ed4e}, intrahash = {eb807284cc0b2b9f947956df0911a780}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Essex, UK}, timestamp = {2024-04-09T09:02:30.000+0200}, title = {Sets, types and specification.}, year = 2003 }