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]](https://bibbase.org/img/filetypes/link.svg "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
{"_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"]}