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.
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
{"_id":"GibMLsWvq4684fYpX","bibbaseid":"taylor-quantitativedomainsgroupoidsandlinearlogic-1989","authorIDs":[],"author_short":["Taylor, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Taylor"],"firstnames":["Paul"],"suffixes":[]}],"title":"Quantitative domains, groupoids and linear logic","booktitle":"Category theory and computer science (Manchester, 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","bibtex":"@INPROCEEDINGS{Tay89,\r\n author = {Taylor, Paul},\r\n title = {Quantitative domains, groupoids and linear logic},\r\n booktitle = {Category theory and computer science ({M}anchester, 1989)},\r\n year = {1989},\r\n volume = {389},\r\n series = {Lecture Notes in Comput. Sci.},\r\n pages = {155--181},\r\n address = {Berlin},\r\n publisher = {Springer},\r\n doi = {10.1007/BFb0018351},\r\n mrclass = {68Q55 (03B70 18A40)},\r\n mrnumber = {1031562 (91f:68140)},\r\n owner = {Vasco},\r\n timestamp = {2014.02.04},\r\n url = {http://dx.doi.org/10.1007/BFb0018351}\r\n}\r\n\r\n","author_short":["Taylor, P."],"key":"Tay89","id":"Tay89","bibbaseid":"taylor-quantitativedomainsgroupoidsandlinearlogic-1989","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/BFb0018351"},"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.895Z","downloads":0,"keywords":[],"search_terms":["quantitative","domains","groupoids","linear","logic","taylor"],"title":"Quantitative domains, groupoids and linear logic","year":1989,"dataSources":["t7rKiAbxugj4Agz8M"]}