Protocol choice and iteration for the free cornering

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 137; p. 100942
Main Authors Nester, Chad, Voorneveld, Niels
Format Journal Article
LanguageEnglish
Published 01.02.2024
Online AccessGet full text

Cover

ArticleNumber 100942
Author Voorneveld, Niels
Nester, Chad
Author_xml – sequence: 1
  givenname: Chad
  surname: Nester
  fullname: Nester, Chad
– sequence: 2
  givenname: Niels
  surname: Voorneveld
  fullname: Voorneveld, Niels
BookMark eNotz81OwzAQBGAfikQpfQIufoGE9U-CfUQVf1IlOMDZ2m7WNFFqV04uvD0t5TTSaDTSdyMWKScW4k5BrUC190M9jHg41hq0OTXgrV6IpTaNrrQGdy3W0zQAnKbuwRm1FPaj5DlTHiXtc08sMXWyn7ng3OckYy5y3rOMhVlSLolLn75vxVXEceL1f67E1_PT5-a12r6_vG0etxUp7-cKyZoGLJo2WqQOOlSeuQVUwK4jG72FnfKODINvdgwI5Bwba6JtW23NSpjLL5U8TYVjOJb-gOUnKAhnbxjCnzecveHiNb-_F03g
Cites_doi 10.2140/agt.2008.8.1855
10.1016/0890-5401(91)90052-4
10.1016/j.tcs.2005.06.002
10.1016/j.ic.2016.02.008
10.4204/EPTCS.380.6
10.4204/EPTCS.360.6
10.1017/S0960129501003462
10.24033/asens.1125
10.1016/S0022-4049(01)00049-4
10.1016/j.scico.2007.11.005
10.1016/S1571-0661(04)80563-2
10.1017/S0004972700003506
10.1017/S095679681400001X
10.1016/0304-3975(94)00104-9
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.1016/j.jlamp.2023.100942
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
ExternalDocumentID 10_1016_j_jlamp_2023_100942
GroupedDBID --M
0R~
4.4
457
4G.
7-5
8P~
AAEDT
AAEDW
AAIKJ
AAKOC
AALRI
AAOAW
AATTM
AAXKI
AAXUO
AAYFN
AAYWO
AAYXX
ABBOA
ABJNI
ABMAC
ABXDB
ACDAQ
ACGFS
ACRLP
ACVFH
ADBBV
ADCNI
ADEZE
ADVLN
AEBSH
AEIPS
AEKER
AENEX
AEUPX
AFJKZ
AFPUW
AFTJW
AFXIZ
AGCQF
AGHFR
AGRNS
AGUBO
AIALX
AIEXJ
AIGII
AIIUN
AIKHN
AITUG
AKBMS
AKRWK
AKYEP
ALMA_UNASSIGNED_HOLDINGS
AMRAJ
ANKPU
AOUOD
AXJTR
BKOJK
BLXMC
BNPGV
CITATION
EBS
EFJIC
EJD
FDB
FIRID
FYGXN
GBLVA
GBOLZ
HZ~
KOM
M41
O9-
OAUVE
RIG
ROL
SPC
SPCBC
SSH
SSV
SSZ
T5K
~G-
ID FETCH-LOGICAL-c199t-ac43504a36f4acd0da19ee60a10e8dc4f940b198c3e095be0a0c88e343f466243
ISSN 2352-2208
IngestDate Tue Jul 01 00:37:50 EDT 2025
IsPeerReviewed true
IsScholarly true
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c199t-ac43504a36f4acd0da19ee60a10e8dc4f940b198c3e095be0a0c88e343f466243
ParticipantIDs crossref_primary_10_1016_j_jlamp_2023_100942
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 2024-02-00
PublicationDateYYYYMMDD 2024-02-01
PublicationDate_xml – month: 02
  year: 2024
  text: 2024-02-00
PublicationDecade 2020
PublicationTitle Journal of logical and algebraic methods in programming
PublicationYear 2024
References Cockett (10.1016/j.jlamp.2023.100942_br0080) 2009; 74
Fiore (10.1016/j.jlamp.2023.100942_br0130) 2008; 8
10.1016/j.jlamp.2023.100942_br0330
Honda (10.1016/j.jlamp.2023.100942_br0170) 1993
10.1016/j.jlamp.2023.100942_br0050
Power (10.1016/j.jlamp.2023.100942_br0300) 1989
Bellin (10.1016/j.jlamp.2023.100942_br0040) 1994; 135
Lambek (10.1016/j.jlamp.2023.100942_br0190) 1986
Abramsky (10.1016/j.jlamp.2023.100942_br0020)
McDermott (10.1016/j.jlamp.2023.100942_br0220) 2022; 360
Voorneveld (10.1016/j.jlamp.2023.100942_br0350) 2022
Grandis (10.1016/j.jlamp.2023.100942_br0150) 2004; 45
Hasegawa (10.1016/j.jlamp.2023.100942_br0160) 2003; 69
Plotkin (10.1016/j.jlamp.2023.100942_br0290) 2001; vol. 2030
Cockett (10.1016/j.jlamp.2023.100942_br0090) 1991; vol. 13
Maddy (10.1016/j.jlamp.2023.100942_br0210) 2019
10.1016/j.jlamp.2023.100942_br0240
Nester (10.1016/j.jlamp.2023.100942_br0260) 2022; vol. 372
Shulman (10.1016/j.jlamp.2023.100942_br0320) 2008; 20
Uustalu (10.1016/j.jlamp.2023.100942_br0340) 2015; vol. 319
Katsumata (10.1016/j.jlamp.2023.100942_br0180) 2020
Mac Lane (10.1016/j.jlamp.2023.100942_br0200) 1971
Selinger (10.1016/j.jlamp.2023.100942_br0310) 2010
Grandis (10.1016/j.jlamp.2023.100942_br0140) 1999; 40
Nester (10.1016/j.jlamp.2023.100942_br0270) 2023; 19
Walters (10.1016/j.jlamp.2023.100942_br0370) 1989; 40
Ahman (10.1016/j.jlamp.2023.100942_br0030) 2014; 10
Moggi (10.1016/j.jlamp.2023.100942_br0230) 1991; 93
Plotkin (10.1016/j.jlamp.2023.100942_br0280) 2013; 9
Dawson (10.1016/j.jlamp.2023.100942_br0110) 2002; 168
Coecke (10.1016/j.jlamp.2023.100942_br0100) 2016; 250
Nester (10.1016/j.jlamp.2023.100942_br0250) 2021
Wood (10.1016/j.jlamp.2023.100942_br0380) 1982; 23
Abbott (10.1016/j.jlamp.2023.100942_br0010) 2005; 342
Bruni (10.1016/j.jlamp.2023.100942_br0060) 2002; 12
Caires (10.1016/j.jlamp.2023.100942_br0070) 2010
Ehresmann (10.1016/j.jlamp.2023.100942_br0120) 1963; 80
Wadler (10.1016/j.jlamp.2023.100942_br0360) 2014; 24
References_xml – start-page: 604
  year: 2020
  ident: 10.1016/j.jlamp.2023.100942_br0180
  article-title: Interaction laws of monads and comonads
– start-page: 407
  year: 2022
  ident: 10.1016/j.jlamp.2023.100942_br0350
  article-title: Runners for interleaving algebraic effects
– start-page: 5
  year: 1989
  ident: 10.1016/j.jlamp.2023.100942_br0300
  article-title: An abstract formulation for rewrite systems
– volume: 45
  start-page: 193
  issue: 3
  year: 2004
  ident: 10.1016/j.jlamp.2023.100942_br0150
  article-title: Adjoint for double categories
  publication-title: Cah. Topol. Géom. Différ. Catég.
– start-page: 222
  year: 2010
  ident: 10.1016/j.jlamp.2023.100942_br0070
  article-title: Session types as intuitionistic linear propositions
– volume: 40
  start-page: 162
  issue: 3
  year: 1999
  ident: 10.1016/j.jlamp.2023.100942_br0140
  article-title: Limits in double categories
  publication-title: Cah. Topol. Géom. Différ. Catég.
– volume: 8
  start-page: 1855
  issue: 4
  year: 2008
  ident: 10.1016/j.jlamp.2023.100942_br0130
  article-title: Model structures on the category of small double categories
  publication-title: Algebraic Geom. Topol.
  doi: 10.2140/agt.2008.8.1855
– volume: vol. 2030
  start-page: 1
  year: 2001
  ident: 10.1016/j.jlamp.2023.100942_br0290
  article-title: Adequacy for algebraic effects
– year: 1986
  ident: 10.1016/j.jlamp.2023.100942_br0190
– volume: 19
  issue: 1
  year: 2023
  ident: 10.1016/j.jlamp.2023.100942_br0270
  article-title: Concurrent process histories and resource transducers
  publication-title: Log. Methods Comput. Sci.
– volume: 93
  start-page: 55
  issue: 1
  year: 1991
  ident: 10.1016/j.jlamp.2023.100942_br0230
  article-title: Notions of computation and monads
  publication-title: Inf. Comput.
  doi: 10.1016/0890-5401(91)90052-4
– volume: 342
  start-page: 3
  issue: 1
  year: 2005
  ident: 10.1016/j.jlamp.2023.100942_br0010
  article-title: Containers: constructing strictly positive types
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2005.06.002
– volume: 10
  issue: 3
  year: 2014
  ident: 10.1016/j.jlamp.2023.100942_br0030
  article-title: When is a container a comonad?
  publication-title: Log. Methods Comput. Sci.
– volume: 23
  start-page: 279
  issue: 3
  year: 1982
  ident: 10.1016/j.jlamp.2023.100942_br0380
  article-title: Abstract pro arrows I
  publication-title: Cah. Topol. Géom. Différ. Catég.
– start-page: 289
  year: 2010
  ident: 10.1016/j.jlamp.2023.100942_br0310
  article-title: A survey of graphical languages for monoidal categories
– volume: 250
  start-page: 59
  year: 2016
  ident: 10.1016/j.jlamp.2023.100942_br0100
  article-title: A mathematical theory of resources
  publication-title: Inf. Comput.
  doi: 10.1016/j.ic.2016.02.008
– ident: 10.1016/j.jlamp.2023.100942_br0050
  doi: 10.4204/EPTCS.380.6
– volume: 360
  start-page: 113
  year: 2022
  ident: 10.1016/j.jlamp.2023.100942_br0220
  article-title: What makes a strong monad?
  publication-title: Electron. Proc. Theor. Comput. Sci.
  doi: 10.4204/EPTCS.360.6
– ident: 10.1016/j.jlamp.2023.100942_br0020
– volume: 20
  start-page: 650
  issue: 18
  year: 2008
  ident: 10.1016/j.jlamp.2023.100942_br0320
  article-title: Framed bicategories and monoidal fibrations
  publication-title: Theory Appl. Categ.
– volume: 12
  start-page: 53
  issue: 1
  year: 2002
  ident: 10.1016/j.jlamp.2023.100942_br0060
  article-title: Symmetric monoidal and Cartesian double categories as a semantic framework for tile logic
  publication-title: Math. Struct. Comput. Sci.
  doi: 10.1017/S0960129501003462
– volume: 80
  start-page: 349
  issue: 4
  year: 1963
  ident: 10.1016/j.jlamp.2023.100942_br0120
  article-title: Catégories Structurées
  publication-title: Ann. Sci. Ec. Norm. Super.
  doi: 10.24033/asens.1125
– volume: 168
  start-page: 19
  issue: 1
  year: 2002
  ident: 10.1016/j.jlamp.2023.100942_br0110
  article-title: What is a free double category like?
  publication-title: J. Pure Appl. Algebra
  doi: 10.1016/S0022-4049(01)00049-4
– volume: 74
  start-page: 498
  year: 2009
  ident: 10.1016/j.jlamp.2023.100942_br0080
  article-title: The logic of message-passing
  publication-title: Sci. Comput. Program.
  doi: 10.1016/j.scico.2007.11.005
– volume: vol. 319
  start-page: 403
  year: 2015
  ident: 10.1016/j.jlamp.2023.100942_br0340
  article-title: Stateful runners of effectful computations
– volume: 69
  start-page: 137
  year: 2003
  ident: 10.1016/j.jlamp.2023.100942_br0160
  article-title: The uniformity principle on traced monoidal categories
  publication-title: Electron. Notes Theor. Comput. Sci.
  doi: 10.1016/S1571-0661(04)80563-2
– volume: 40
  start-page: 79
  issue: 1
  year: 1989
  ident: 10.1016/j.jlamp.2023.100942_br0370
  article-title: Data types in distributive categories
  publication-title: Bull. Aust. Math. Soc.
  doi: 10.1017/S0004972700003506
– year: 1971
  ident: 10.1016/j.jlamp.2023.100942_br0200
– start-page: 209
  year: 2021
  ident: 10.1016/j.jlamp.2023.100942_br0250
  article-title: The structure of concurrent process histories
– start-page: 509
  year: 1993
  ident: 10.1016/j.jlamp.2023.100942_br0170
  article-title: Types for dyadic interaction
– volume: vol. 13
  start-page: 141
  year: 1991
  ident: 10.1016/j.jlamp.2023.100942_br0090
  article-title: Strong Categorical Datatypes I
– volume: vol. 372
  start-page: 103
  year: 2022
  ident: 10.1016/j.jlamp.2023.100942_br0260
  article-title: Situated transition systems
– volume: 24
  start-page: 384
  year: 2014
  ident: 10.1016/j.jlamp.2023.100942_br0360
  article-title: Propositions as sessions
  publication-title: J. Funct. Program.
  doi: 10.1017/S095679681400001X
– volume: 135
  start-page: 11
  issue: 1
  year: 1994
  ident: 10.1016/j.jlamp.2023.100942_br0040
  article-title: On the pi-calculus and linear logic
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/0304-3975(94)00104-9
– ident: 10.1016/j.jlamp.2023.100942_br0240
– start-page: 293
  year: 2019
  ident: 10.1016/j.jlamp.2023.100942_br0210
  article-title: What do we want a foundation to do?
– volume: 9
  issue: 4
  year: 2013
  ident: 10.1016/j.jlamp.2023.100942_br0280
  article-title: Handling algebraic effects
  publication-title: Log. Methods Comput. Sci.
– ident: 10.1016/j.jlamp.2023.100942_br0330
SSID ssj0001687831
Score 2.2604353
SourceID crossref
SourceType Index Database
StartPage 100942
Title Protocol choice and iteration for the free cornering
Volume 137
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnZ07T8MwEMctHgsLb8RbHtgglWO7xh4RAhUQFUNB3SLHcaAVtKgKDHx6znGcUooQZUkrJ7om-UWXq-_vO4SOhCAy14JELksVufojkWrKLMo1xN7MasXKVMxtW7Tu-XW32R03LixXlxRpw3z8uK7kP1RhDLi6VbIzkK2NwgB8B76wBcKw_RPju9GwGALJY_BhPRMSAXY0KSDMR9ZJ0l1H-_Cemo5Ggwssa7c-P7p0cs9U_aW91NwLuV6CCZ9cqtp6nD_pLIw-DN1PvVedr9s9X6-5nlqgPKiRgweiEJ1FlBI54S59kZbK4cVOmkh_9MV-WqDf6MOj7SqDUtYYHz1Z-frbG6nWCQYJWj8pjSTOSOKNzKNFCv8MwLUtnl3dtNrjiTUhT2XZh7I-_VBtqtT1TZ3Ol4jkS2jRWUXLFQV85gGvoTk7WEcrod8GrtzvBuKBN_a8McDCNW8MvDHwxo43rnlvovvLi855K6q6XkQmVqqItIEIlnDNRM61yUimY2WtIDomVmaG54qTNFbSMAvhcWqJJkZKyzjLuRCUsy20MBgO7DbChKfqlDVVrlPYBx95TATcj5hlNGZW7aCTcOXJqy9ukvxyy3dnO3wPLY0fqn20UIze7AFEcEV6WDH7BNRDRP4
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Protocol+choice+and+iteration+for+the+free+cornering&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Nester%2C+Chad&rft.au=Voorneveld%2C+Niels&rft.date=2024-02-01&rft.issn=2352-2208&rft.volume=137&rft.spage=100942&rft_id=info:doi/10.1016%2Fj.jlamp.2023.100942&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2023_100942
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon