%0 Thesis %1 phd/ethos/Barber97 %A Barber, Andrew G. %D 1997 %K dblp %T Linear type theories, semantics and action calculi.

@phdthesis{phd/ethos/Barber97, added-at = {2022-05-04T00:00:00.000+0200}, author = {Barber, Andrew G.}, biburl = {https://www.bibsonomy.org/bibtex/26d1013367d2307edfb724cb4ca0cef43/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561689}, interhash = {720c79e4bdba33e387a7d16f2d30062f}, intrahash = {6d1013367d2307edfb724cb4ca0cef43}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Edinburgh, UK}, timestamp = {2024-04-09T09:02:19.000+0200}, title = {Linear type theories, semantics and action calculi.}, year = 1997 }