{"id":"https://openalex.org/W1993205599","doi":"https://doi.org/10.1017/s0960129500001274","title":"*-Autonomous categories and linear logic","display_name":"*-Autonomous categories and linear logic","publication_year":1991,"publication_date":"1991-07-01","ids":{"openalex":"https://openalex.org/W1993205599","doi":"https://doi.org/10.1017/s0960129500001274","mag":"1993205599"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129500001274","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129500001274","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064362335","display_name":"Michael Barr","orcid":"https://orcid.org/0000-0002-1684-7906"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Michael Barr","raw_affiliation_strings":["Department of Mathematics and Statistics, MCGill University, 805 Sherbrooke Street West, Montreal, Quebec, Canada H3A 2K6","Department of Mathematics and Statistics, McGill University, 805 Sherbrooke Street West, Montr\u00e9al, Qu\u00e9bec, Canada H3A 2K6"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, MCGill University, 805 Sherbrooke Street West, Montreal, Quebec, Canada H3A 2K6","institution_ids":["https://openalex.org/I5023651"]},{"raw_affiliation_string":"Department of Mathematics and Statistics, McGill University, 805 Sherbrooke Street West, Montr\u00e9al, Qu\u00e9bec, Canada H3A 2K6","institution_ids":["https://openalex.org/I5023651"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5064362335"],"corresponding_institution_ids":["https://openalex.org/I5023651"],"apc_list":null,"apc_paid":null,"fwci":8.1802,"has_fulltext":false,"cited_by_count":186,"citation_normalized_percentile":{"value":0.98369842,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"1","issue":"2","first_page":"159","last_page":"178"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9812999963760376,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9812999963760376,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9717000126838684,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9520000219345093,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/subject-matter","display_name":"Subject matter","score":0.6980651617050171},{"id":"https://openalex.org/keywords/subject","display_name":"Subject (documents)","score":0.6667580604553223},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5890334248542786},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.5855682492256165},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.25220054388046265},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.10957205295562744},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.10607689619064331}],"concepts":[{"id":"https://openalex.org/C2992860105","wikidata":"https://www.wikidata.org/wiki/Q7631392","display_name":"Subject matter","level":3,"score":0.6980651617050171},{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.6667580604553223},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5890334248542786},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.5855682492256165},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25220054388046265},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.10957205295562744},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.10607689619064331},{"id":"https://openalex.org/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.0},{"id":"https://openalex.org/C47177190","wikidata":"https://www.wikidata.org/wiki/Q207137","display_name":"Curriculum","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s0960129500001274","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129500001274","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.731.3641","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.731.3641","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.math.mcgill.ca/barr/papers/scatll.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.699999988079071}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W81214682","https://openalex.org/W1600838014","https://openalex.org/W2162340558","https://openalex.org/W2183676805","https://openalex.org/W4243544101","https://openalex.org/W4291439952"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2371678054","https://openalex.org/W2907628512","https://openalex.org/W2009982465","https://openalex.org/W2505406583","https://openalex.org/W2333400070","https://openalex.org/W2570722659","https://openalex.org/W3048104041","https://openalex.org/W2580758401","https://openalex.org/W1821357742"],"abstract_inverted_index":{"The":[0],"subject":[1],"of":[2,35,51,57],"linear":[3,36],"logic":[4],"has":[5],"recently":[6],"become":[7],"very":[8],"important":[9],"in":[10,24],"theoretical":[11],"computer":[12],"science.":[13],"It":[14],"is":[15,49],"apparent":[16],"that":[17,58],"the":[18,42,46,67,80],"*-autonomous":[19],"categories":[20],"studied":[21],"at":[22,69],"length":[23],"by":[25],"Barr":[26],"(1979)":[27],"are":[28,60],"a":[29,32,76],"model":[30],"for":[31,41],"large":[33,55],"fragment":[34],"logic,":[37],"although":[38],"not":[39],"quite":[40],"whole":[43],"thing.":[44],"Since":[45],"main":[47],"reference":[48],"out":[50],"print":[52],"and":[53],"since":[54],"parts":[56],"volume":[59],"devoted":[61],"to":[62,66,74,79],"results":[63],"highly":[64],"peripheral":[65],"matter":[68],"hand,":[70],"it":[71],"seemed":[72],"reasonable":[73],"provide":[75],"short":[77],"introduction":[78],"subject.":[81]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":8},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":4}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}