{"id":"https://openalex.org/W2154900316","doi":"https://doi.org/10.1017/s0960129507006214","title":"Coalgebraic description of generalised binary methods","display_name":"Coalgebraic description of generalised binary methods","publication_year":2007,"publication_date":"2007-08-01","ids":{"openalex":"https://openalex.org/W2154900316","doi":"https://doi.org/10.1017/s0960129507006214","mag":"2154900316"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129507006214","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129507006214","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000680961","display_name":"Furio Honsell","orcid":"https://orcid.org/0000-0001-8937-1892"},"institutions":[{"id":"https://openalex.org/I129043915","display_name":"University of Udine","ror":"https://ror.org/05ht0mh31","country_code":"IT","type":"education","lineage":["https://openalex.org/I129043915"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"FURIO HONSELL","raw_affiliation_strings":["Dipartimento di Matematica e Informatica, Universit\u00e0 di Udine, Via delle Scienze 206, 33100 Udine, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica e Informatica, Universit\u00e0 di Udine, Via delle Scienze 206, 33100 Udine, Italy","institution_ids":["https://openalex.org/I129043915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111459665","display_name":"Marina Lenisa","orcid":null},"institutions":[{"id":"https://openalex.org/I129043915","display_name":"University of Udine","ror":"https://ror.org/05ht0mh31","country_code":"IT","type":"education","lineage":["https://openalex.org/I129043915"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"MARINA LENISA","raw_affiliation_strings":["Dipartimento di Matematica e Informatica, Universit\u00e0 di Udine, Via delle Scienze 206, 33100 Udine, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica e Informatica, Universit\u00e0 di Udine, Via delle Scienze 206, 33100 Udine, Italy","institution_ids":["https://openalex.org/I129043915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037818759","display_name":"Rekha Redamalla","orcid":null},"institutions":[{"id":"https://openalex.org/I129043915","display_name":"University of Udine","ror":"https://ror.org/05ht0mh31","country_code":"IT","type":"education","lineage":["https://openalex.org/I129043915"]},{"id":"https://openalex.org/I4210105276","display_name":"B M Birla Science Centre","ror":"https://ror.org/00vf0sw72","country_code":"IN","type":"other","lineage":["https://openalex.org/I4210105276"]}],"countries":["IN","IT"],"is_corresponding":false,"raw_author_name":"REKHA REDAMALLA","raw_affiliation_strings":["B.M. Birla Science Centre, Adarsh Nagar, Hyderabad, 500 063 A.P., India","Dipartimento di Matematica e Informatica, Universit\u00e0 di Udine, Via delle Scienze 206, 33100 Udine, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"B.M. Birla Science Centre, Adarsh Nagar, Hyderabad, 500 063 A.P., India","institution_ids":["https://openalex.org/I4210105276"]},{"raw_affiliation_string":"Dipartimento di Matematica e Informatica, Universit\u00e0 di Udine, Via delle Scienze 206, 33100 Udine, Italy","institution_ids":["https://openalex.org/I129043915"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5000680961"],"corresponding_institution_ids":["https://openalex.org/I129043915"],"apc_list":null,"apc_paid":null,"fwci":0.4842,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.77353061,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"4","first_page":"647","last_page":"673"},"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.9988999962806702,"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.9988999962806702,"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.9732999801635742,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9606000185012817,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.8076775074005127},{"id":"https://openalex.org/keywords/finitary","display_name":"Finitary","score":0.8008058071136475},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.6151273846626282},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.5989997982978821},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5887641906738281},{"id":"https://openalex.org/keywords/covariant-transformation","display_name":"Covariant transformation","score":0.5261815786361694},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5189033150672913},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.515970766544342},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4490519165992737},{"id":"https://openalex.org/keywords/binary-relation","display_name":"Binary relation","score":0.44349050521850586},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.44238030910491943},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.4394391179084778},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.43592238426208496},{"id":"https://openalex.org/keywords/binary-tree","display_name":"Binary tree","score":0.42441874742507935},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.35013121366500854},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33337414264678955},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2823963761329651},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.08603453636169434},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07559150457382202}],"concepts":[{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.8076775074005127},{"id":"https://openalex.org/C2778003309","wikidata":"https://www.wikidata.org/wiki/Q5450381","display_name":"Finitary","level":2,"score":0.8008058071136475},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.6151273846626282},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.5989997982978821},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5887641906738281},{"id":"https://openalex.org/C9136319","wikidata":"https://www.wikidata.org/wiki/Q362640","display_name":"Covariant transformation","level":2,"score":0.5261815786361694},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5189033150672913},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.515970766544342},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4490519165992737},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.44349050521850586},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.44238030910491943},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.4394391179084778},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.43592238426208496},{"id":"https://openalex.org/C197855036","wikidata":"https://www.wikidata.org/wiki/Q380172","display_name":"Binary tree","level":2,"score":0.42441874742507935},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35013121366500854},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33337414264678955},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2823963761329651},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.08603453636169434},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07559150457382202},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s0960129507006214","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129507006214","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:air.uniud.it:11390/706646","is_oa":false,"landing_page_url":"http://hdl.handle.net/11390/706646","pdf_url":null,"source":{"id":"https://openalex.org/S4306401163","display_name":"Institutional Research Information System (University of Udine)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I129043915","host_organization_name":"University of Udine","host_organization_lineage":["https://openalex.org/I129043915"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W102335877","https://openalex.org/W1493647767","https://openalex.org/W1509854283","https://openalex.org/W1525643703","https://openalex.org/W1543688617","https://openalex.org/W1544933093","https://openalex.org/W1556021119","https://openalex.org/W1568996673","https://openalex.org/W1578809538","https://openalex.org/W1814429312","https://openalex.org/W1985275803","https://openalex.org/W2012007202","https://openalex.org/W2033809864","https://openalex.org/W2046271115","https://openalex.org/W2079822631","https://openalex.org/W2086788473","https://openalex.org/W2088941870","https://openalex.org/W2093516960","https://openalex.org/W2093548427","https://openalex.org/W2097488638","https://openalex.org/W2101032471","https://openalex.org/W2104506944","https://openalex.org/W2110860127","https://openalex.org/W2404846429","https://openalex.org/W4292016827","https://openalex.org/W6631429191","https://openalex.org/W6638778330","https://openalex.org/W6713596871","https://openalex.org/W7053504691"],"related_works":["https://openalex.org/W2333621390","https://openalex.org/W3099212081","https://openalex.org/W2107846795","https://openalex.org/W2042266169","https://openalex.org/W2004318671","https://openalex.org/W1561765852","https://openalex.org/W2990468933","https://openalex.org/W230743427","https://openalex.org/W2031729318","https://openalex.org/W1603558256"],"abstract_inverted_index":{"We":[0,60,169],"extend":[1],"the":[2,77,91,111,114,128,138,147,164,171],"coalgebraic":[3],"account":[4],"of":[5,9,35,93,100,103,113,157,173],"specification":[6],"and":[7,11,19,44,62],"refinement":[8],"objects":[10,133],"classes":[12,56],"in":[13,163,176],"object-oriented":[14],"programming":[15],"given":[16],"by":[17,109,134],"Reichel":[18],"Jacobs":[20],"to":[21,98,118,143],"(generalised)":[22],"binary":[23,69,96,152],"methods":[24,28,153],".":[25,59],"These":[26,106],"are":[27,107,125],"that":[29,99],"take":[30],"more":[31],"than":[32],"one":[33],"parameter":[34,123],"a":[36,86,94,101],"class":[37,51,87,116],"type.":[38],"Class":[39],"types":[40,112,124],"include":[41],"products,":[42],"sums":[43],"powerset":[45],"type":[46],"constructors.":[47],"To":[48],"allow":[49],"for":[50,66],"constructors":[52],",":[53,127],"we":[54,83,89,150],"model":[55,136],"as":[57,154],"bialgebras":[58],"study":[61],"compare":[63],"two":[64],"solutions":[65],"modelling":[67],"generalised":[68,95],"methods,":[70],"which":[71,80],"use":[72],"purely":[73],"covariant":[74,167],"functors.":[75],"In":[76,146],"first":[78],"solution,":[79,149],"applies":[81],"when":[82],"already":[84],"have":[85],"implementation,":[88],"reduce":[90],"behaviour":[92],"method":[97,144],"bunch":[102],"unary":[104],"methods.":[105],"obtained":[108],"freezing":[110],"extra":[115],"parameters":[117],"constant":[119],"types.":[120],"If":[121],"all":[122],"finitary":[126],"bisimilarity":[129],"equivalence":[130],"induced":[131],"on":[132],"this":[135],"yields":[137],"greatest":[139],"congruence":[140],"with":[141],"respect":[142],"application.":[145],"second":[148],"treat":[151],"graphs":[155],"instead":[156],"functions,":[158],"thus":[159],"turning":[160],"contravariant":[161],"occurrences":[162],"functor":[165],"into":[166],"ones.":[168],"show":[170],"existence":[172],"final":[174],"coalgebras":[175],"both":[177],"cases.":[178]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2016-06-24T00:00:00"}