%0 Thesis %1 phd/ethos/Feng10 %A Feng, Yangyue %D 2010 %K dblp %T A theory of dependent record types with structural subtyping.

@phdthesis{phd/ethos/Feng10, added-at = {2022-04-05T00:00:00.000+0200}, author = {Feng, Yangyue}, biburl = {https://www.bibsonomy.org/bibtex/286750dc3b4514231f332f979446d09e3/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.530785}, interhash = {3b057512500933b7eafd64c92c82b5c7}, intrahash = {86750dc3b4514231f332f979446d09e3}, keywords = {dblp}, note = {British Library, EThOS}, school = {Royal Holloway, University of London, UK}, timestamp = {2024-04-09T08:58:19.000+0200}, title = {A theory of dependent record types with structural subtyping.}, year = 2010 }