{"id":"https://openalex.org/W2097704879","doi":"https://doi.org/10.1016/s1571-0661(04)80568-1","title":"Adjunction Models For Call-By-Push-Value With Stacks","display_name":"Adjunction Models For Call-By-Push-Value With Stacks","publication_year":2003,"publication_date":"2003-02-01","ids":{"openalex":"https://openalex.org/W2097704879","doi":"https://doi.org/10.1016/s1571-0661(04)80568-1","mag":"2097704879"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80568-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80568-1","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(04)80568-1","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053041930","display_name":"Paul Blain Levy","orcid":"https://orcid.org/0000-0003-0864-1876"},"institutions":[{"id":"https://openalex.org/I169173203","display_name":"D\u00e9l\u00e9gation Paris 7","ror":"https://ror.org/00bw5n526","country_code":"FR","type":"government","lineage":["https://openalex.org/I154526488","https://openalex.org/I169173203"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Paul Blain Levy","raw_affiliation_strings":["PPS, Universit\u00e9 Denis Diderot, Case 7014, 2 Place Jussieu, 75251 PARIS Cedex 05, France"],"affiliations":[{"raw_affiliation_string":"PPS, Universit\u00e9 Denis Diderot, Case 7014, 2 Place Jussieu, 75251 PARIS Cedex 05, France","institution_ids":["https://openalex.org/I169173203"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5053041930"],"corresponding_institution_ids":["https://openalex.org/I169173203"],"apc_list":null,"apc_paid":null,"fwci":1.8727,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.8785321,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"69","issue":null,"first_page":"248","last_page":"271"},"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.9987999796867371,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/adjunction","display_name":"Adjunction","score":0.9467963576316833},{"id":"https://openalex.org/keywords/countable-set","display_name":"Countable set","score":0.6338641047477722},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.5445823669433594},{"id":"https://openalex.org/keywords/monad","display_name":"Monad (category theory)","score":0.5368723273277283},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5219213962554932},{"id":"https://openalex.org/keywords/finitary","display_name":"Finitary","score":0.4942784309387207},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.47787657380104065},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.46186381578445435},{"id":"https://openalex.org/keywords/divergence","display_name":"Divergence (linguistics)","score":0.453495591878891},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4209410548210144},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.41035932302474976},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36389589309692383},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.2708769142627716},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.26480168104171753},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2365226149559021},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.22180584073066711},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.15011993050575256}],"concepts":[{"id":"https://openalex.org/C2780580338","wikidata":"https://www.wikidata.org/wiki/Q577835","display_name":"Adjunction","level":2,"score":0.9467963576316833},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.6338641047477722},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.5445823669433594},{"id":"https://openalex.org/C33959348","wikidata":"https://www.wikidata.org/wiki/Q1630568","display_name":"Monad (category theory)","level":3,"score":0.5368723273277283},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5219213962554932},{"id":"https://openalex.org/C2778003309","wikidata":"https://www.wikidata.org/wiki/Q5450381","display_name":"Finitary","level":2,"score":0.4942784309387207},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.47787657380104065},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46186381578445435},{"id":"https://openalex.org/C207390915","wikidata":"https://www.wikidata.org/wiki/Q1230525","display_name":"Divergence (linguistics)","level":2,"score":0.453495591878891},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4209410548210144},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.41035932302474976},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36389589309692383},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.2708769142627716},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26480168104171753},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2365226149559021},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.22180584073066711},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.15011993050575256},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/s1571-0661(04)80568-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80568-1","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:CiteSeerX.psu:10.1.1.101.2364","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.2364","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.bham.ac.uk/~pbl/papers/ctcs02journal.pdf","raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/6fca6317-d05f-47d4-9975-773429102d2f","is_oa":false,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/6fca6317-d05f-47d4-9975-773429102d2f","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Levy, P 2005, 'Adjunction Models for Call-by-Push-Value with Stacks', Theory and Applications of Categories, vol. 14, pp. 75-110.","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80568-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80568-1","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":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6200000047683716}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W49202426","https://openalex.org/W626707627","https://openalex.org/W1508489761","https://openalex.org/W1517661647","https://openalex.org/W1533929999","https://openalex.org/W1534339430","https://openalex.org/W1545449210","https://openalex.org/W1555305123","https://openalex.org/W1568326153","https://openalex.org/W1594841668","https://openalex.org/W1599063242","https://openalex.org/W1808214913","https://openalex.org/W1877442346","https://openalex.org/W1968787210","https://openalex.org/W1971906578","https://openalex.org/W1975575519","https://openalex.org/W1997143185","https://openalex.org/W2001462012","https://openalex.org/W2016326123","https://openalex.org/W2024189573","https://openalex.org/W2047559554","https://openalex.org/W2049362364","https://openalex.org/W2064882654","https://openalex.org/W2107674601","https://openalex.org/W2123887510","https://openalex.org/W2124056143","https://openalex.org/W2135434676","https://openalex.org/W2152013675","https://openalex.org/W2219407530","https://openalex.org/W2293333944","https://openalex.org/W2324455841","https://openalex.org/W2912819106","https://openalex.org/W3006524471","https://openalex.org/W3015660754","https://openalex.org/W6630888064","https://openalex.org/W6759289046"],"related_works":["https://openalex.org/W3097151221","https://openalex.org/W962448886","https://openalex.org/W2141000465","https://openalex.org/W2107762852","https://openalex.org/W3107084032","https://openalex.org/W805949593","https://openalex.org/W4287586350","https://openalex.org/W2023563484","https://openalex.org/W2183938998","https://openalex.org/W3100954501"],"abstract_inverted_index":{"Call-by-push-value":[0],"(CBPV)":[1],"is":[2],"a":[3,31,41,109,113,136,159],"new":[4,42],"paradigm,":[5],"which":[6,16],"has":[7,53,135],"been":[8],"claimed":[9],"to":[10,80,102,111],"provide":[11],"the":[12,28,74,82,87,98,163,185,193],"semantic":[13],"primitives":[14],"from":[15],"call-by-value":[17],"and":[18,35,73,77,92,121,197],"call-by-name":[19],"are":[20,200],"built.":[21],"We":[22,61,107,123,189],"present":[23],"its":[24],"operational":[25],"semantics":[26,57,65],"in":[27,127,151],"form":[29],"of":[30,45,139,187,195,198],"Felleisen-Friedman":[32],"style":[33],"CK-machine,":[34],"see":[36,132],"how":[37],"this":[38,50,63,125],"machine":[39],"suggests":[40],"term":[43],"judgement":[44],"stacks.":[46],"When":[47],"augmented":[48],"with":[49,116],"judgement,":[51],"CBPV":[52],"an":[54],"elegant":[55],"categorical":[56,64],"based":[58],"on":[59],"adjunctions.":[60],"describe":[62],"incrementally.":[66],"First,":[67,130],"we":[68,95,131,141,166],"introduce":[69],"locally":[70],"indexed":[71],"categories":[72,194],"opGrothendieck":[75],"construction,":[76],"use":[78],"these":[79],"give":[81,142],"basic":[83],"structure":[84],"for":[85,144,172],"interpreting":[86],"3":[88],"judgements:":[89],"values,":[90],"stacks":[91],"computations.":[93,188],"Then":[94],"look":[96],"at":[97],"universal":[99],"property":[100],"required":[101],"interpret":[103],"each":[104,152],"type":[105],"constructor.":[106],"define":[108],"model":[110],"be":[112],"strong":[114,156,160],"adjunction":[115],"countable":[117,119],"coproducts,":[118],"products":[120],"exponentials.":[122],"justify":[124],"definition":[126],"two":[128],"ways.":[129],"that":[133,192],"it":[134],"wide":[137],"range":[138],"instances:":[140],"examples":[143],"divergence,":[145],"storage,":[146],"erratic":[147],"choice,":[148],"continuations":[149],"etc.,":[150],"case":[153],"decomposing":[154],"Moggi's":[155],"monad":[157],"into":[158],"adjunction.":[161],"For":[162],"second":[164],"justification,":[165],"start":[167],"by":[168],"giving":[169],"equational":[170],"laws":[171],"CBPV+stacks.":[173],"This":[174],"requires":[175],"some":[176],"additional":[177],"pattern-matching":[178],"constructs,":[179],"but":[180],"they":[181],"do":[182],"not":[183],"affect":[184],"set":[186],"then":[190],"show":[191],"theories":[196],"models":[199],"equivalent.":[201]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}