{"id":"https://openalex.org/W2014142788","doi":"https://doi.org/10.1016/s1571-0661(05)80312-3","title":"Abstract Games for Linear Logic Extended Abstract","display_name":"Abstract Games for Linear Logic Extended Abstract","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W2014142788","doi":"https://doi.org/10.1016/s1571-0661(05)80312-3","mag":"2014142788"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80312-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80312-3","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80312-3","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044396973","display_name":"Martin Hyland","orcid":null},"institutions":[{"id":"https://openalex.org/I4210153325","display_name":"Institute of Mathematical Statistics","ror":"https://ror.org/043f04882","country_code":"US","type":"other","lineage":["https://openalex.org/I4210153325"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Martin Hyland","raw_affiliation_strings":["Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, 16 Mill Lane, Cambridge, CB2 1SB, USA"],"affiliations":[{"raw_affiliation_string":"Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, 16 Mill Lane, Cambridge, CB2 1SB, USA","institution_ids":["https://openalex.org/I4210153325"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043944629","display_name":"Andrea Schalk","orcid":null},"institutions":[{"id":"https://openalex.org/I4210153325","display_name":"Institute of Mathematical Statistics","ror":"https://ror.org/043f04882","country_code":"US","type":"other","lineage":["https://openalex.org/I4210153325"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Andrea Schalk","raw_affiliation_strings":["Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, 16 Mill Lane, Cambridge, CB2 1SB, USA"],"affiliations":[{"raw_affiliation_string":"Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, 16 Mill Lane, Cambridge, CB2 1SB, USA","institution_ids":["https://openalex.org/I4210153325"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5043944629","https://openalex.org/A5044396973"],"corresponding_institution_ids":["https://openalex.org/I4210153325"],"apc_list":null,"apc_paid":null,"fwci":1.5592,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.85439701,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"29","issue":null,"first_page":"127","last_page":"150"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9894000291824341,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/sketch","display_name":"Sketch","score":0.8400014638900757},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6611449718475342},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.6315423250198364},{"id":"https://openalex.org/keywords/theme","display_name":"Theme (computing)","score":0.6229000687599182},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.603188157081604},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.5362880229949951},{"id":"https://openalex.org/keywords/game-theory","display_name":"Game theory","score":0.506972074508667},{"id":"https://openalex.org/keywords/combinatorial-game-theory","display_name":"Combinatorial game theory","score":0.42704200744628906},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3988984525203705},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.38175153732299805},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3301769196987152},{"id":"https://openalex.org/keywords/repeated-game","display_name":"Repeated game","score":0.27191412448883057},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19903206825256348},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.19135484099388123}],"concepts":[{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.8400014638900757},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6611449718475342},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.6315423250198364},{"id":"https://openalex.org/C33566652","wikidata":"https://www.wikidata.org/wiki/Q1065927","display_name":"Theme (computing)","level":2,"score":0.6229000687599182},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.603188157081604},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.5362880229949951},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.506972074508667},{"id":"https://openalex.org/C102234262","wikidata":"https://www.wikidata.org/wiki/Q1320931","display_name":"Combinatorial game theory","level":4,"score":0.42704200744628906},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3988984525203705},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.38175153732299805},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3301769196987152},{"id":"https://openalex.org/C202556891","wikidata":"https://www.wikidata.org/wiki/Q1584646","display_name":"Repeated game","level":3,"score":0.27191412448883057},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19903206825256348},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.19135484099388123},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/s1571-0661(05)80312-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80312-3","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/7aefdc7e-9aa3-44f9-a2ea-b3bc6d1d6b44","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/7aefdc7e-9aa3-44f9-a2ea-b3bc6d1d6b44","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Hyland, M & Schalk, A 1999, 'Abstract games for linear logic extended abstract', Electronic Notes in Theoretical Computer Science, vol. 29, pp. 127-150. https://doi.org/10.1016/S1571-0661(05)80312-3","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:publications/7aefdc7e-9aa3-44f9-a2ea-b3bc6d1d6b44","is_oa":false,"landing_page_url":"http://dblp.uni-trier.de/rec/bibtex/journals/tcs/HylandS99","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Hyland, M & Schalk, A 1999, 'Abstract games for linear logic extended abstract', Electronic Notes in Theoretical Computer Science, vol. 29, pp. 127-150. https://doi.org/10.1016/S1571-0661(05)80312-3","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80312-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80312-3","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.7099999785423279}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W147093031","https://openalex.org/W159920301","https://openalex.org/W1482112913","https://openalex.org/W1508681080","https://openalex.org/W1512931629","https://openalex.org/W1514119099","https://openalex.org/W1524811322","https://openalex.org/W1526036637","https://openalex.org/W1534339430","https://openalex.org/W1542090346","https://openalex.org/W1600838014","https://openalex.org/W1605806361","https://openalex.org/W1607390768","https://openalex.org/W1611376777","https://openalex.org/W1847465957","https://openalex.org/W1910820376","https://openalex.org/W1923324835","https://openalex.org/W1961717322","https://openalex.org/W1977216954","https://openalex.org/W1993205599","https://openalex.org/W1996605832","https://openalex.org/W2024189573","https://openalex.org/W2047862786","https://openalex.org/W2094685149","https://openalex.org/W2095436832","https://openalex.org/W2111956051","https://openalex.org/W2129290355","https://openalex.org/W2148498831","https://openalex.org/W2148761448","https://openalex.org/W2155737356","https://openalex.org/W2165446401","https://openalex.org/W2166666657","https://openalex.org/W2911865844","https://openalex.org/W2911979341","https://openalex.org/W2912668586","https://openalex.org/W2912931674","https://openalex.org/W4205864028","https://openalex.org/W4213084408","https://openalex.org/W4234269419","https://openalex.org/W6606393895","https://openalex.org/W6630892301","https://openalex.org/W6631311380","https://openalex.org/W6631548180","https://openalex.org/W6631911764","https://openalex.org/W6636433251","https://openalex.org/W6639322885","https://openalex.org/W6640155734","https://openalex.org/W6641048535","https://openalex.org/W6644462480","https://openalex.org/W6678984092","https://openalex.org/W6681764303","https://openalex.org/W6759117429","https://openalex.org/W6820085530","https://openalex.org/W7030293515"],"related_works":["https://openalex.org/W4210868699","https://openalex.org/W3160337873","https://openalex.org/W3194882106","https://openalex.org/W4214679513","https://openalex.org/W2259986923","https://openalex.org/W3016182934","https://openalex.org/W4377081010","https://openalex.org/W2992668415","https://openalex.org/W4210821012","https://openalex.org/W2076893880"],"abstract_inverted_index":{"We":[0,47,118,210],"draw":[1],"attention":[2],"to":[3,177,212],"a":[4,34,52,86,98,121,150,180,189],"number":[5,122],"of":[6,36,45,63,72,82,91,102,115,123,134,167,183,198,203,207,219],"constructions":[7,31],"which":[8,108],"lie":[9],"behind":[10],"many":[11],"concrete":[12],"models":[13,159,169],"for":[14,22,97,160],"linear":[15,38,161],"logic;":[16],"we":[17,32,76,145,174],"develop":[18],"an":[19,42],"abstract":[20,43,116,132,171,208],"context":[21,202],"these":[23,30],"and":[24,65,128],"describe":[25],"their":[26,168],"general":[27,151],"theory.":[28],"Using":[29],"give":[33],"model":[35,75,94],"classical":[37],"logic":[39],"based":[40],"on":[41,105,125,158,195,214],"notion":[44,90,114],"game.":[46,92,117],"derive":[48],"this":[49,126,215],"not":[50],"from":[51,59],"category":[53,62,101],"with":[54,85,192],"built-in":[55],"computational":[56,70],"content":[57,71],"but":[58],"the":[60,69,73,83,131,184,196,201,217],"simple":[61,89],"sets":[64],"relations.":[66],"To":[67],"demonstrate":[68],"resulting":[74],"make":[77],"comparisons":[78],"at":[79],"each":[80],"stage":[81],"construction":[84],"standard":[87],"very":[88],"Our":[93],"provides":[95],"motivation":[96],"less":[99],"familiar":[100],"games":[103],"(played":[104],"directed":[106],"graphs)":[107],"is":[109,188],"closely":[110],"reflected":[111],"by":[112,153],"our":[113],"briefly":[119],"indicate":[120],"variations":[124],"theme":[127],"sketch":[129],"how":[130],"concept":[133],"game":[135],"may":[136],"be":[137,142],"refined":[138],"further.":[139],"It":[140],"will":[141],"clear":[143],"that":[144,179],"have":[146,156,164],"been":[147],"influenced":[148],"in":[149,200,216],"way":[152],"colleagues":[154],"who":[155],"worked":[157],"logic.":[162],"Many":[163],"given":[165],"readings":[166],"as":[170],"games.":[172,209],"However,":[173],"would":[175],"like":[176],"mention":[178],"specific":[181],"precursor":[182],"work":[185],"described":[186],"here":[187],"joint":[190],"project":[191],"Robin":[193],"Cockett":[194],"analysis":[197],"sequentiality":[199],"yet":[204],"other":[205],"categories":[206],"hope":[211],"report":[213],"fullness":[218],"time.":[220]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-04-19T08:26:33.389920","created_date":"2025-10-10T00:00:00"}