{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:47Z","timestamp":1725456047411},"publisher-location":"Berlin\/Heidelberg","reference-count":24,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354051662X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018351","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:50:09Z","timestamp":1132645809000},"page":"155-181","source":"Crossref","is-referenced-by-count":3,"title":["Quantitative domains, groupoids and linear logic"],"prefix":"10.1007","author":[{"given":"Paul","family":"Taylor","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-4049(80)90020-1","volume":"17","author":"M. Barr","year":"1980","unstructured":"M. Barr and R. Diaconescu Atomic toposes, Journal of Pure and Applied Algebra17 (1980) 1\u201324","journal-title":"Journal of Pure and Applied Algebra"},{"key":"11_CR2","unstructured":"M. Barr and C. WellsToposes, triples and theories, Springer Gr. d. math. W. 278"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"G. Berry Stable models of typed lambda calculi, Automata, Languages and Programming (Udine, July 1978), Springer Lecture Notes in Computer Science 62, 62\u201390","DOI":"10.1007\/3-540-08860-1_7"},{"key":"11_CR4","unstructured":"P.M. CohnAlgebra, Wiley, 2 vols (frequently reprinted)"},{"key":"11_CR5","first-page":"57","volume":"22","author":"Y. Diers","year":"1981","unstructured":"Y. Diers Some spectra relative to functors, JPAA22 (1981) 57\u201374","journal-title":"JPAA"},{"key":"11_CR6","unstructured":"J.Y. Girard Normal functors, power series and lambda calculus, Ann. P.&A. Logic, 1986"},{"key":"11_CR7","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0304-3975(86)90044-7","volume":"45","author":"J.Y. Girard","year":"1986","unstructured":"J.Y. Girard The system F of variable types, fifteen years later, Theoretical Computer Science45 (1986) 159\u2013192","journal-title":"Theoretical Computer Science"},{"key":"11_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.Y. Girard","year":"1987","unstructured":"J.Y. Girard Linear Logic, TCS50 (1987) 1\u2013102","journal-title":"TCS"},{"key":"11_CR9","unstructured":"J.Y. GirardTowards a geometry of interaction, in [Gray & Scedrov]"},{"key":"11_CR10","unstructured":"J.Y. Girard Geometry of interaction I: interpretation of system F, ASL meeting (Padova, August 1988), to appear"},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/BFb0014972","volume":"250","author":"J.Y. Girard","year":"1987","unstructured":"J.Y. Girard and Y. Lafont Linear logic and lazy computation, TAPSOFT '87 (Pisa), Springer LNCS 250 (1987) II 52\u201366","journal-title":"TAPSOFT '87"},{"key":"11_CR12","unstructured":"J.Y. Girard, translated and with appendices byY. Lafont and P. TaylorProofs and Types, CUP Cambridge Tracts in Theoretical Computer Science 7"},{"key":"11_CR13","unstructured":"J.W. Gray and A. Scedrov, editors Categories in computer science and logic (Boulder, June 1987), American Mathematical Society Contemporary Mathematics, to appear"},{"key":"11_CR14","unstructured":"J.M.E. Hyland and A.M. PittsThe theory of constructions: categorical semantics and topos-theoretic models, in [Gray & Scedrov]"},{"key":"11_CR15","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/BFb0072514","volume":"1234","author":"A. Joyal","year":"1987","unstructured":"A. Joyal Foncteurs analytiques et esp\u00e8ces de structures, Combinatoire \u00e9num\u00e9rative (Montr\u00e9al, 1986), Springer L.N. Mathematics 1234 (1987) 126\u2013159","journal-title":"Combinatoire \u00e9num\u00e9rative"},{"key":"11_CR16","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0304-3975(88)90100-4","volume":"59","author":"Y. Lafont","year":"1988","unstructured":"Y. Lafont The categorical abstract machine, TCS59 (1988) 157\u2013180","journal-title":"TCS"},{"key":"11_CR17","unstructured":"F. LamarcheA simple model of the theory of constructions, in [Gray & Scedrov]"},{"key":"11_CR18","unstructured":"F. LamarcheModelling polymorphism with categories, Ph.D. thesis, McGill University."},{"key":"11_CR19","unstructured":"F. LamarcheDomains and infinitary algebras, seminar"},{"key":"11_CR20","unstructured":"S. LangAlgebra, Addision-Wesley (frequently reprinted)"},{"key":"11_CR21","unstructured":"R.A.G. SeelyLinear logic, *-autonomous categories and co-free alebras, in [Gray & Scedrov]"},{"key":"11_CR22","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/3-540-17162-2_137","volume":"240","author":"P. Taylor","year":"1986","unstructured":"P. Taylor Internal completeness of categories of domains, Category Theory and Computer Programming (Guildford, September 1985), Springer LNCS 240 (1986) 449\u2013465","journal-title":"Category Theory and Computer Programming"},{"key":"11_CR23","unstructured":"P. TaylorAn algebraic approach to stable domains, submitted to JPAA"},{"key":"11_CR24","unstructured":"P. TaylorThe trace factorisation and cartesian closure for stable categories, manuscript 70pp."}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018351.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:41:09Z","timestamp":1607550069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018351"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354051662X"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0018351","relation":{},"subject":[]}}