{"id":"https://openalex.org/W202241028","doi":"https://doi.org/10.1016/s1571-0661(05)80574-2","title":"Preface","display_name":"Preface","publication_year":2003,"publication_date":"2003-02-01","ids":{"openalex":"https://openalex.org/W202241028","doi":"https://doi.org/10.1016/s1571-0661(05)80574-2","mag":"202241028"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80574-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80574-2","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)80574-2","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087503903","display_name":"Richard Blute","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Richard Blute","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5015712724","display_name":"Peter Selinger","orcid":"https://orcid.org/0000-0003-3161-856X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peter Selinger","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5087503903"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02374702,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"69","issue":null,"first_page":"362","last_page":"365"},"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.9925000071525574,"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.9925000071525574,"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.991599977016449,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9889000058174133,"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/category-theory","display_name":"Category theory","score":0.6300889253616333},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.6079175472259521},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5977188348770142},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5714221000671387},{"id":"https://openalex.org/keywords/domain-theory","display_name":"Domain theory","score":0.5538206100463867},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.49508848786354065},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4825376868247986},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43611210584640503},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.4175889790058136},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.410993367433548},{"id":"https://openalex.org/keywords/model-theory","display_name":"Model theory","score":0.4103561043739319},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26514679193496704},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.19679725170135498},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.13916251063346863},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.10556316375732422}],"concepts":[{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.6300889253616333},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.6079175472259521},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5977188348770142},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5714221000671387},{"id":"https://openalex.org/C29585364","wikidata":"https://www.wikidata.org/wiki/Q1079166","display_name":"Domain theory","level":2,"score":0.5538206100463867},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.49508848786354065},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4825376868247986},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43611210584640503},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.4175889790058136},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.410993367433548},{"id":"https://openalex.org/C47030870","wikidata":"https://www.wikidata.org/wiki/Q467606","display_name":"Model theory","level":2,"score":0.4103561043739319},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26514679193496704},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.19679725170135498},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.13916251063346863},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.10556316375732422},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"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/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80574-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80574-2","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"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80574-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80574-2","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2036375467","https://openalex.org/W2264209468","https://openalex.org/W4200558465","https://openalex.org/W4233993919","https://openalex.org/W2005380195","https://openalex.org/W1599641482","https://openalex.org/W2020914843","https://openalex.org/W223002628","https://openalex.org/W1974294638","https://openalex.org/W1507779663"],"abstract_inverted_index":{"This":[0,224,592,694,947],"volume":[1],"contains":[2],"the":[3,6,20,35,38,43,54,58,61,66,84,93,150,156,161,164,171,175,205,228,284,296,305,328,396,446,470,474,492,504,549,557,620,687,724,771,774,783,858,893,967,973,994,996,1002,1005,1024,1028,1036,1077,1080,1088,1092,1102,1122,1314],"proceedings":[4],"of":[5,22,30,37,40,45,53,60,68,87,92,95,117,127,149,163,177,202,230,232,298,307,450,459,469,476,483,500,506,513,524,548,556,576,578,636,639,654,664,697,704,711,727,734,747,754,787,797,820,823,830,848,855,860,871,897,913,928,944,966,972,977,991,1027,1035,1076,1121,1130,1261],"9th":[7],"Conference":[8],"on":[9,619,625,662,1072,1125,1227],"Category":[10],"Theory":[11],"and":[12,65,99,102,109,114,123,133,160,195,219,238,293,438,448,586,599,648,718,793,825,895,919,939,957,1021,1045,1060,1113,1127,1135,1150,1157,1164,1185,1198,1204,1210,1218,1233,1239,1271,1313,1326],"Computer":[13],"Science":[14],"(CTCS'02),":[15],"which":[16,73,89,189,196,496,580,690,707,781,828],"was":[17,182,212,418,782],"held":[18],"at":[19,1033],"University":[21],"Ottawa":[23],"from":[24,83,192,283,852,911,1110],"August":[25,193],"15-17,":[26],"2002.":[27],"The":[28,70,140,147,207,245,321,331,356,456,720,846,903,926,963,1224],"purpose":[29],"this":[31,96,168,179,210,233,277,314,463,542,545,561,590,678,728,748,765,831,889],"conference":[32,181,234,315],"series":[33],"is":[34,142,152,491,546,559,563,593,615,645,650,669,750,773,905,935,1063],"advancement":[36],"foundations":[39,116],"computing":[41,100],"using":[42,1108],"tools":[44,56],"category":[46,49,74,251,458,494,499,562,721,822,917,1316],"theory.":[47,554,1292],"Indeed,":[48],"theory":[50,67,75,113,139,252,260,268,956],"provides":[51,731],"one":[52],"key":[55],"in":[57,167,174,200,310,395,473,538,552,589,689,827,869,960,1091,1172,1318],"analysis":[59],"interaction":[62],"between":[63],"logic":[64,121,256,272],"computation.":[69,610],"extent":[71],"to":[72,204,209,243,326,421,503,535,570,583,701,760,836,937,953,1042,1054,1104,1253],"has":[76,1052],"influenced":[77],"these":[78],"areas":[79,201],"can":[80,627,803,833],"be":[81,236,584,628,761,805,834,950,959],"seen":[82,806,835],"following":[85,329],"list":[86,141],"topics,":[88],"are":[90,445,683,692,866,940,1082],"typical":[91],"interests":[94],"conference:":[97],"coalgebras":[98],"concurrent":[101,460,477,507],"distributed":[103],"systems":[104,1238],"constructive":[105],"mathematics":[106],"declarative":[107],"programming":[108,135,791,844,863,881,901],"term":[110],"rewriting":[111],"domain":[112,810],"topology":[115],"computer":[118],"security":[119],"linear":[120,915,1269],"modal":[122],"temporal":[124],"logics":[125,1270],"models":[126,1278],"computation":[128,738,850],"program":[129],"logics,":[130],"data":[131,886],"refinement,":[132],"specification":[134],"language":[136,746,792,845],"semantics":[137,505,896,904,1260],"type":[138,742,1291],"by":[143,155,184,999],"no":[144],"means":[145,680],"exhaustive.":[146],"vitality":[148],"field":[151,229,847],"well":[153,1100],"displayed":[154],"extremely":[157],"high":[158],"quality":[159],"diversity":[162],"18":[165],"papers":[166],"volume.":[169],"For":[170,1067],"first":[172,784,964],"time":[173],"history":[176],"CTCS,":[178],"year's":[180],"preceded":[183],"a":[185,498,522,616,637,646,651,658,670,675,702,732,768,788,808,817,821,842,853,861,898,1242],"\u201cGraduate":[186],"Student":[187],"Preconference\u201d,":[188],"took":[190],"place":[191],"12-14":[194],"offered":[197,247],"introductory":[198],"courses":[199,248],"importance":[203],"conference.":[206],"response":[208],"preconference":[211,246],"extraordinary,":[213],"with":[214,480,596,739,1281],"more":[215,1065],"than":[216,674],"50":[217],"students":[218],"interested":[220],"others":[221],"taking":[222,684],"part.":[223],"certainly":[225],"suggests":[226],"that":[227,560,622,681,1007,1038],"research":[231],"will":[235,466,532,567,949,958,969,1011,1031,1085,1117],"strong":[237],"active":[239],"for":[240,300,518,608,764,811,1193,1216,1279,1304],"many":[241,308,311],"years":[242],"come.":[244],"in:":[249],"Introductory":[250],"(Susan":[253],"Niefield)":[254],"Categorical":[255],"(Philip":[257],"Scott)":[258],"Concurrency":[259],"(Peter":[261],"Selinger)":[262],"Coalgebraic":[263],"methods":[264],"(Jiri":[265],"Adamek)":[266],"Game":[267],"(Robin":[269],"Cockett)":[270],"Linear":[271],"(Rick":[273],"Blute)":[274],"To":[275],"hold":[276],"preconference,":[278],"we":[279,682,1030],"received":[280],"substantial":[281],"funding":[282],"Centre":[285],"de":[286],"Recherches":[287],"Math\u00e9matiques":[288],"(CRM).":[289],"We":[290,656,814,1010,1084,1116],"thank":[291,327],"them":[292],"Jacques":[294],"Hurtubise,":[295],"Director":[297],"CRM,":[299],"their":[301,451,631],"kind":[302,749],"support.":[303],"Without":[304],"help":[306],"individuals":[309],"different":[312],"capacities,":[313],"would":[316,323],"not":[317],"have":[318,422,1039],"been":[319,1040,1053],"possible.":[320],"editors":[322],"especially":[324],"like":[325],"people:":[330],"organizing":[332],"committee:":[333,358],"E.":[334,1206,1284],"Moggi,":[335],"Chair,":[336],"(Genova)":[337],"S.":[338,1133,1148,1161,1293],"Abramsky":[339,1134],"(Oxford)":[340],"P.":[341,1176,1208,1273,1308],"Dybjer":[342],"(Chalmers)":[343,368],"B.":[344,1136,1234,1274],"Jay":[345],"(Sydney)":[346],"A.":[347],"Pitts":[348],"(Cambridge)":[349],"Local":[350,1311],"organizers:":[351],"Rick":[352,359,408],"Blute":[353,409],"Philip":[354,402],"Scott":[355,403],"programme":[357],"Blute,":[360],"Chair":[361],"(Ottawa)":[362,404,410,416],"Robin":[363,405],"Cockett":[364,406,1197],"(Calgary)":[365,407],"Thierry":[366],"Coquand":[367],"Andrea":[369],"Corradini":[370],"(Pisa)":[371],"Thomas":[372],"Ehrhard":[373],"(Luminy)":[374],"Ryu":[375],"Hasegawa":[376,1222],"(Tokyo)":[377],"Martin":[378,597],"Hofmann":[379],"(Munich)":[380],"Bart":[381],"Jacobs":[382,1235],"(Nijmegen)":[383],"Michael":[384],"Johnson":[385],"(Macquarie)":[386],"Dusko":[387],"Pavlovic":[388],"(Kestrel":[389],"Institute)":[390],"Alex":[391],"Simpson":[392],"(Edinburgh)":[393],"Lecturers":[394],"student":[397],"preconference:":[398],"Susan":[399],"Niefield":[400],"(Union)":[401],"Jiri":[411],"Adamek":[412],"(Braunschweig)":[413],"Peter":[414,435,838],"Selinger":[415,436,839],"CTCS'02":[417],"also":[419,815,1012,1118],"lucky":[420],"4":[423],"distinguished":[424],"invited":[425],"speakers.":[426],"They":[427],"were":[428],"Eric":[429,453],"Goubault":[430,454],"(CEA/Saclay),":[431],"Guy":[432,602],"McCusker":[433,603],"(Sussex),":[434],"(Ottawa),":[437],"Paul":[439,923],"Syverson":[440,924],"(Naval":[441],"Research":[442],"Laboratory).":[443],"Here":[444],"titles":[447],"abstracts":[449],"talks:":[452],"-":[455,604,840,925,1138,1153,1167,1178,1188,1201,1213,1223,1236,1249,1257,1267,1276,1286,1295,1301,1310,1324],"fundamental":[457,493,543,585],"processes":[461,508,528],"In":[462,857,888,1023],"talk,":[464,890],"I":[465,531,566,891],"present":[467],"some":[468,511,539,971,1000,1034,1120],"recent":[471],"advances":[472],"understanding":[475],"computations":[478],"made":[479],"geometric":[481],"(and":[482],"course":[484],"category-theoretic)":[485],"reasoning.":[486],"One":[487,555],"very":[488],"important":[489,795,942],"tool":[490],"functor":[495],"associates":[497],"\u201cessential":[501],"schedules\u201d":[502],"(seen":[509],"as":[510,723,776,807,885,1018,1050,1058,1099,1101],"form":[512],"partially":[514],"ordered":[515],"topological":[516],"space":[517],"instance);":[519],"hence":[520],"giving":[521],"lot":[523],"information":[525,1144],"about":[526],"how":[527,534,569],"coordinate":[529],"themselves.":[530],"show":[533,568],"compute":[536],"inductively,":[537],"simple":[540,818,899],"cases,":[541],"category;":[544],"part":[547,965,1026],"\u201ccompositionality\u201d":[550],"problem":[551],"concurrency":[553],"defects":[558],"huge,":[564],"so":[565],"\u201ccompress":[571],"it\u201d":[572],"through":[573],"several":[574],"constructions":[575,588],"categories":[577,1303],"fractions,":[579],"again":[581],"reveal":[582],"natural":[587,647],"framework.":[591],"joint":[594],"work":[595,832,1124],"Raussen":[598],"Emmanuel":[600],"Haucourt.":[601],"A":[605,633,1191,1250,1258],"graph":[606,613,634,698,801],"model":[607,614,660,703,730,733,757,772,786,802],"imperative":[609,712,737,790],"Scott's":[611],"P-omega":[612,626],"lambda-algebra":[617],"based":[618,661],"observation":[621],"continuous":[623],"endofunctions":[624],"represented":[629],"via":[630,1290],"graphs.":[632,1195],"consists":[635],"set":[638,653,1086],"pairs":[640,665],"(S,":[641],"n)":[642],"where":[643,667],"n":[644],"S":[649],"finite":[652,671],"naturals.":[655],"consider":[657],"similar":[659],"sets":[663],"(s,n),":[666],"s":[668],"sequence":[672],"rather":[673],"set.":[676],"Intuitively,":[677],"alteration":[679],"into":[685],"account":[686],"order":[688,1263],"observations":[691],"made.":[693],"new":[695],"notion":[696],"gives":[699],"rise":[700],"affine":[705,741],"lambda-calculus":[706],"admits":[708],"an":[709,740,794,941,951,1173],"interpretation":[710],"constructs":[713],"including":[714],"variable":[715],"assignment,":[716],"dereferencing":[717],"allocation.":[719],"arising":[722],"Karoubi":[725],"envelope":[726],"untyped":[729],"typed":[735],"higher-order":[736,789,1194],"system.":[743,1078],"An":[744],"appropriate":[745],"Reynolds's":[751],"Syntactic":[752],"Control":[753],"Interference.":[755],"Our":[756,800],"turns":[758],"out":[759,1087],"fully":[762],"abstract":[763,1319],"language.":[766,902],"At":[767],"concrete":[769],"level,":[770],"same":[775],"Reddy's":[777,812],"object":[778],"spaces":[779],"model,":[780],"\u201cstate-free\u201d":[785],"precursor":[796],"games":[798],"models.":[799],"therefore":[804],"universal":[809],"model.":[813],"give":[816],"construction":[819],"monoids":[824],"relations":[826,1215],"all":[829],"live.":[837],"Towards":[841],"quantum":[843,849,900],"suffers":[851],"lack":[854],"syntax.":[856],"absence":[859],"convenient":[862],"language,":[864],"algorithms":[865],"frequently":[867],"expressed":[868],"terms":[870],"circuits":[872],"or":[873,882,1096],"Turing":[874],"machines.":[875],"Neither":[876],"approach":[877,1252],"particularly":[878],"encourages":[879],"structured":[880],"abstractions":[883],"such":[884,1017,1057],"types.":[887],"describe":[892,1014,1119],"syntax":[894,1192],"interesting":[906],"because":[907],"it":[908,1051],"combines":[909],"notions":[910,1056,1109],"geometry":[912],"interaction,":[914],"algebra,":[916],"theory,":[918],"complete":[920],"partial":[921,1305],"orders.":[922],"Formalization":[927],"Anonymity":[929],"Anonymous":[930],"communication":[931],"techniques":[932],"obscure":[933],"who":[934],"talking":[936],"whom":[938],"aspect":[943],"secure":[945],"communication.":[946],"talk":[948,968,1029],"introduction":[952],"anonymous":[954,978],"communications":[955,979],"two":[961],"parts.":[962],"introduce":[970],"basic":[974],"building":[975],"blocks":[976],"systems:":[980],"proxies,":[981],"Chaum":[982],"mixes,":[983],"DC":[984],"nets,":[985],"etc.":[986],"These":[987],"offer":[988],"varying":[989],"amounts":[990],"protection.":[992],"Typically":[993],"stronger":[995],"protection":[997,1069],"afforded":[998],"primitive,":[1001],"less":[1003],"practical":[1004],"system":[1006],"uses":[1008],"it.":[1009],"briefly":[1013],"implemented":[1015],"systems,":[1016],"Onion":[1019],"Routing":[1020],"Crowds.":[1022],"second":[1025],"look":[1032],"ways":[1037],"proposed":[1041],"define":[1043,1055],"anonymity":[1044,1062,1131],"related":[1046],"properties.":[1047,1132],"As":[1048],"difficult":[1049],"authentication":[1059],"confidentiality,":[1061],"even":[1064],"subtle.":[1066],"example,":[1068],"generally":[1070],"depends":[1071],"other":[1073],"legitimate":[1074],"users":[1075],"Otherwise":[1079],"communicants":[1081],"exposed.":[1083],"various":[1089],"properties":[1090],"area,":[1093],"e.g.,":[1094,1107],"unobservability":[1095],"plausible":[1097],"deniability,":[1098],"attempts":[1103],"formalize":[1105],"them,":[1106],"process":[1111],"algebra":[1112],"epistemic":[1114],"logic.":[1115,1307],"nonformal":[1123],"probabilistic":[1126],"information-theoretic":[1128],"characterizations":[1129],"Coecke":[1137],"Physical":[1139],"traces:":[1140],"Quantum":[1141],"vs.":[1142],"classical":[1143],"processing.":[1145],"J.":[1146,1151,1231,1247,1255],"Ad\u00e1mek,":[1147],"Milius":[1149,1294],"Velebil":[1152],"On":[1154,1296],"rational":[1155],"monads":[1156],"free":[1158],"iterative":[1159],"theories.":[1160],"L.":[1162,1199,1299],"Bloom":[1163],"Z.":[1165],"\u00c9sik":[1166],"Unique,":[1168],"guarded":[1169],"fixed":[1170],"points":[1171],"additive":[1174],"setting.":[1175],"Boudes":[1177],"Non-uniform":[1179],"hypercoherences.":[1180],"M.":[1181,1221,1283],"Coccia,":[1182],"F.":[1183,1265],"Gadducci":[1184],"U.":[1186],"Montanari":[1187],"GS.Lambda":[1189],"theories:":[1190],"R.":[1196],"Santocanale":[1200],"Induction,":[1202],"coinduction":[1203],"adjoints.":[1205],"Haghverdi,":[1207],"Tabuada":[1209],"G.":[1211],"Pappas":[1212],"Bisimulation":[1214],"dynamical":[1217],"control":[1219],"systems.":[1220],"uniformity":[1225],"principle":[1226],"traced":[1228],"monoidal":[1229],"categories.":[1230],"Hughes":[1232],"Factorization":[1237],"fibrations:":[1240],"Toward":[1241],"fibred":[1243],"Birkhoff":[1244],"variety":[1245],"theorem.":[1246],"Koslowski":[1248],"monadic":[1251],"polycategories.":[1254],"Laird":[1256],"categorical":[1259],"higher":[1262],"store.":[1264],"Lamarche":[1266],"Multiplicative":[1268],"fibrations.":[1272],"Levy":[1275],"Adjunction":[1277],"call-by-push-value":[1280],"stacks.":[1282],"Maietti":[1285],"Joyal's":[1287],"arithmetic":[1288],"universes":[1289],"iteratable":[1297],"endofunctors.":[1298],"Schr\u00f6der":[1300],"Classifying":[1302],"equational":[1306],"Taylor":[1309],"compactness":[1312],"Baire":[1315],"theorem":[1317],"Stone":[1320],"duality.":[1321],"K.":[1322],"Worytkiewicz":[1323],"Paths":[1325],"simulations.":[1327]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}