%0 Thesis %1 phd/ethos/McBride00 %A McBride, Conor %D 2000 %K %T Dependently typed functional programs and their proofs.

@phdthesis{phd/ethos/McBride00, added-at = {2023-12-12T17:54:06.000+0100}, author = {McBride, Conor}, biburl = {https://www.bibsonomy.org/bibtex/2c4e6d69cc2c9af759997d163ce334864/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561753}, interhash = {0a73390c43201f26305d4c272b5b5f4a}, intrahash = {c4e6d69cc2c9af759997d163ce334864}, keywords = {}, note = {British Library, EThOS}, school = {University of Edinburgh, UK}, timestamp = {2023-12-12T17:54:06.000+0100}, title = {Dependently typed functional programs and their proofs.}, year = 2000 }