Quantitative domains, groupoids and linear logic. Taylor, P. In Category theory and computer science (Manchester, 1989), volume 389, of Lecture Notes in Comput. Sci., pages 155–181, Berlin, 1989. Springer.
Quantitative domains, groupoids and linear logic [link]Paper  doi  bibtex   
@INPROCEEDINGS{Tay89,
  author = {Taylor, Paul},
  title = {Quantitative domains, groupoids and linear logic},
  booktitle = {Category theory and computer science ({M}anchester, 1989)},
  year = {1989},
  volume = {389},
  series = {Lecture Notes in Comput. Sci.},
  pages = {155--181},
  address = {Berlin},
  publisher = {Springer},
  doi = {10.1007/BFb0018351},
  mrclass = {68Q55 (03B70 18A40)},
  mrnumber = {1031562 (91f:68140)},
  owner = {Vasco},
  timestamp = {2014.02.04},
  url = {http://dx.doi.org/10.1007/BFb0018351}
}

Downloads: 0