%0 Thesis %1 phd/ethos/Turner09 %A Turner, David Christopher %D 2009 %K dblp %T Nominal domain theory for concurrency.

@phdthesis{phd/ethos/Turner09, added-at = {2022-04-05T00:00:00.000+0200}, author = {Turner, David Christopher}, biburl = {https://www.bibsonomy.org/bibtex/2d890a83bb8ca21d172fb557284c868f7/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.611730}, interhash = {d396b565d913d03c1f99630dd6f8443a}, intrahash = {d890a83bb8ca21d172fb557284c868f7}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Cambridge, UK}, timestamp = {2024-04-09T09:01:41.000+0200}, title = {Nominal domain theory for concurrency.}, year = 2009 }