Elliot Fairweather. Type systems for nominal terms. PhD thesis, King's College London, UK, 2014. [doi]
@phdthesis{ethos-261, title = {Type systems for nominal terms}, author = {Elliot Fairweather}, year = {2014}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.677044}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-261}, cites = {0}, citedby = {0}, school = {King's College London, UK}, }