{"id":"https://openalex.org/W2347010600","doi":"https://doi.org/10.1145/2933575.2935319","title":"Healthiness from Duality","display_name":"Healthiness from Duality","publication_year":2016,"publication_date":"2016-07-05","ids":{"openalex":"https://openalex.org/W2347010600","doi":"https://doi.org/10.1145/2933575.2935319","mag":"2347010600"},"language":"en","primary_location":{"id":"doi:10.1145/2933575.2935319","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2933575.2935319","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2066/161285","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059605078","display_name":"Wataru Hino","orcid":null},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Wataru Hino","raw_affiliation_strings":["University of Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031956808","display_name":"Hiroki Kobayashi","orcid":"https://orcid.org/0000-0003-3597-1328"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hiroki Kobayashi","raw_affiliation_strings":["University of Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013382452","display_name":"Ichiro Hasuo","orcid":"https://orcid.org/0000-0002-8300-4650"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ichiro Hasuo","raw_affiliation_strings":["University of Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042359645","display_name":"Bart Jacobs","orcid":"https://orcid.org/0000-0002-3605-249X"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Bart Jacobs","raw_affiliation_strings":["Radboud University Nijmegen, the Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen, the Netherlands","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.135,"has_fulltext":true,"cited_by_count":18,"citation_normalized_percentile":{"value":0.90165877,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"682","last_page":"691"},"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.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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.998199999332428,"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.9918000102043152,"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/adjunction","display_name":"Adjunction","score":0.6468594074249268},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.6299415826797485},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.5757759809494019},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5631402730941772},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.47206929326057434},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4647957682609558},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4623388648033142},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.45566505193710327},{"id":"https://openalex.org/keywords/dual","display_name":"Dual (grammatical number)","score":0.45454996824264526},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4318448305130005},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.41858527064323425},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.41653749346733093},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.334102988243103},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31070297956466675},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.23809421062469482},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.22787347435951233},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18371057510375977}],"concepts":[{"id":"https://openalex.org/C2780580338","wikidata":"https://www.wikidata.org/wiki/Q577835","display_name":"Adjunction","level":2,"score":0.6468594074249268},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.6299415826797485},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.5757759809494019},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5631402730941772},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.47206929326057434},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4647957682609558},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4623388648033142},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45566505193710327},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.45454996824264526},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4318448305130005},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.41858527064323425},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.41653749346733093},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.334102988243103},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31070297956466675},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.23809421062469482},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.22787347435951233},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18371057510375977},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2933575.2935319","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2933575.2935319","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/161285","is_oa":true,"landing_page_url":"https://hdl.handle.net/2066/161285","pdf_url":"http://hdl.handle.net/2066/161285","source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article in monograph or in proceedings"}],"best_oa_location":{"id":"pmh:oai:repository.ubn.ru.nl:2066/161285","is_oa":true,"landing_page_url":"https://hdl.handle.net/2066/161285","pdf_url":"http://hdl.handle.net/2066/161285","source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article in monograph or in proceedings"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5699999928474426,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G2044468453","display_name":"Supporting Manufacturing by Category Theory and Mathematical Logic: Transfer of Software Science to Systems Engineering","funder_award_id":"15KT0012","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G8823343615","display_name":"Taming New Computing Paradigms: Diverse Techniques in Semantics United, Enhanced and Applied","funder_award_id":"24680001","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G969213138","display_name":"Probabilistic Extension of Geometry of Interaction--from Categorical Semantics to Big Data","funder_award_id":"15K11984","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2347010600.pdf","grobid_xml":"https://content.openalex.org/works/W2347010600.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W198993984","https://openalex.org/W583126019","https://openalex.org/W1492711856","https://openalex.org/W1507692549","https://openalex.org/W1511668635","https://openalex.org/W1518444163","https://openalex.org/W1564580204","https://openalex.org/W1595870841","https://openalex.org/W1602405256","https://openalex.org/W1965620900","https://openalex.org/W1971616901","https://openalex.org/W1982145886","https://openalex.org/W1984184513","https://openalex.org/W2024355065","https://openalex.org/W2075406361","https://openalex.org/W2075776862","https://openalex.org/W2079655821","https://openalex.org/W2083095776","https://openalex.org/W2103953153","https://openalex.org/W2120713972","https://openalex.org/W2127203965","https://openalex.org/W2141670510","https://openalex.org/W2171472101","https://openalex.org/W2212044066","https://openalex.org/W2315064349","https://openalex.org/W2336123333","https://openalex.org/W2401384051","https://openalex.org/W2518149541","https://openalex.org/W2987907651","https://openalex.org/W3022108090","https://openalex.org/W3105500087","https://openalex.org/W3146075203","https://openalex.org/W3149871783","https://openalex.org/W4232926217","https://openalex.org/W6608097695","https://openalex.org/W6630384586","https://openalex.org/W6636287194","https://openalex.org/W6675350323","https://openalex.org/W6696124813","https://openalex.org/W6712899850"],"related_works":["https://openalex.org/W4287081207","https://openalex.org/W3177859674","https://openalex.org/W3196733042","https://openalex.org/W4323925312","https://openalex.org/W4214866974","https://openalex.org/W4293366716","https://openalex.org/W3091315172","https://openalex.org/W4294578969","https://openalex.org/W4293692741","https://openalex.org/W3120528375"],"abstract_inverted_index":{"Healthiness":[0],"is":[1,73],"a":[2,31,63,76,81],"good":[3],"old":[4],"question":[5],"in":[6,97,101],"program":[7],"logics":[8],"that":[9],"dates":[10],"back":[11],"to":[12],"Dijkstra.":[13],"It":[14],"asks":[15],"for":[16,41,44,67],"an":[17],"intrinsic":[18],"characterization":[19],"of":[20,30,34,88,104],"those":[21],"predicate":[22],"transformers":[23],"which":[24],"arise":[25],"as":[26],"the":[27,102],"(backward)":[28],"interpretation":[29],"certain":[32],"class":[33],"programs.":[35],"There":[36],"are":[37],"several":[38],"results":[39],"known":[40],"healthiness":[42,69],"conditions:":[43],"deterministic":[45],"programs,":[46],"nondeterministic":[47],"ones,":[48,50],"probabilistic":[49],"etc.":[51],"Building":[52],"upon":[53],"our":[54,86],"previous":[55],"works":[56],"on":[57,75,85],"so-called":[58],"state-and-effect":[59],"triangles,":[60],"we":[61],"contribute":[62],"unified":[64],"categorical":[65],"framework":[66,72],"investigating":[68],"conditions.":[70],"This":[71],"based":[74],"dual":[77],"adjunction":[78],"induced":[79],"by":[80],"dualizing":[82],"object":[83],"and":[84,108],"notion":[87,94],"relative":[89],"Eilenberg-Moore":[90],"algebra.":[91],"The":[92],"latter":[93],"seems":[95],"interesting":[96],"its":[98],"own":[99],"right":[100],"context":[103],"monads,":[105],"Lawvere":[106],"theories":[107],"enriched":[109],"categories.":[110]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}