%0 Thesis %1 phd/ethos/Fairweather14 %A Fairweather, Elliot %D 2014 %K %T Type systems for nominal terms.

@phdthesis{phd/ethos/Fairweather14, added-at = {2023-12-13T01:27:29.000+0100}, author = {Fairweather, Elliot}, biburl = {https://www.bibsonomy.org/bibtex/2a9a7afb7a0791438ec5d873b509d8bfd/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.677044}, interhash = {71da6c029767114c8e689e4982cbffdd}, intrahash = {a9a7afb7a0791438ec5d873b509d8bfd}, keywords = {}, note = {British Library, EThOS}, school = {King's College London, UK}, timestamp = {2023-12-13T01:27:29.000+0100}, title = {Type systems for nominal terms.}, year = 2014 }