Name Generation and Linearity Export

@inproceedings{citeulike:3564527, abstract = {A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting of path orders with join-preserving functions between their domains of path sets. Name generation is adjoined by forming the functor category [I, Lin], where I consists of finitesets of names and injections. The functor category [I, Lin] is no longer monoidal-closed w.r.t. the tensor inherited pointwisefrom Lin. However, conditions are given under which functionspaces exist. The conditions are preserved by a rich disciplineof linear types, including those of new-HOPLA, a recent powerfullanguage for higher-order processes with name generation.}, address = {Washington, DC, USA}, author = {Winskel, Glynn}, booktitle = {LICS '05: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science}, citeulike-article-id = {3564527}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1079704}, citeulike-linkout-1 = {http://dx.doi.org/10.1109/LICS.2005.30}, citeulike-linkout-2 = {http://www.cl.cam.ac.uk/~gw104/}, doi = {10.1109/LICS.2005.30}, isbn = {0-7695-2266-1}, keywords = {causality, concurrency, eventstructure}, pages = {301--310}, posted-at = {2008-11-18 10:09:59}, priority = {1}, publisher = {IEEE Computer Society}, title = {Name Generation and Linearity}, url = {http://dx.doi.org/10.1109/LICS.2005.30}, year = {2005} }

TY - CONF ID - citeulike:3564527 L3 - citeulike-article-id:3564527 N2 - A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting of path orders with join-preserving functions between their domains of path sets. Name generation is adjoined by forming the functor category [I, Lin], where I consists of finitesets of names and injections. The functor category [I, Lin] is no longer monoidal-closed w.r.t. the tensor inherited pointwisefrom Lin. However, conditions are given under which functionspaces exist. The conditions are preserved by a rich disciplineof linear types, including those of new-HOPLA, a recent powerfullanguage for higher-order processes with name generation. SN - 0-7695-2266-1 AD - Washington, DC, USA EP - 310 TI - Name Generation and Linearity PB - IEEE Computer Society T2 - LICS '05: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science SP - 301 KW - causality KW - concurrency KW - eventstructure AU - Winskel, Glynn PY - 2005/// UR - http://dx.doi.org/10.1109/LICS.2005.30 ER -