乐胖代购免代理版

{"id":"https://openalex.org/W2798938825","doi":"https://doi.org/10.1007/978-3-319-89884-1_3","title":"Dualizing Generalized Algebraic Data Types by Matrix Transposition","display_name":"Dualizing Generalized Algebraic Data Types by Matrix Transposition","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2798938825","doi":"https://doi.org/10.1007/978-3-319-89884-1_3","mag":"2798938825"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89884-1_3","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1_3.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"book-chapter","type_crossref":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1_3.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049077225","display_name":"Klaus Ostermann","orcid":"https://orcid.org/0000-0001-5294-5506"},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Klaus Ostermann","raw_affiliation_strings":["University of T\u00fcbingen, T\u00fcbingen, Germany"],"affiliations":[{"raw_affiliation_string":"University of T\u00fcbingen, T\u00fcbingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042643836","display_name":"Julian Jabs","orcid":null},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Julian Jabs","raw_affiliation_strings":["University of T\u00fcbingen, T\u00fcbingen, Germany"],"affiliations":[{"raw_affiliation_string":"University of T\u00fcbingen, T\u00fcbingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392,"provenance":"doaj"},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392,"provenance":"doaj"},"fwci":0.224,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":3,"citation_normalized_percentile":{"value":0.673703,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":74,"max":77},"biblio":{"volume":null,"issue":null,"first_page":"60","last_page":"85"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998,"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.9998,"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.9951,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.989,"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/transpose","display_name":"Transpose","score":0.62479335},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.54936796},{"id":"https://openalex.org/keywords/transposition","display_name":"Transposition (logic)","score":0.54154736},{"id":"https://openalex.org/keywords/algebraic-operation","display_name":"Algebraic operation","score":0.45328242},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.42167068},{"id":"https://openalex.org/keywords/destructor","display_name":"Destructor","score":0.41720843}],"concepts":[{"id":"https://openalex.org/C200106649","wikidata":"https://www.wikidata.org/wiki/Q223683","display_name":"Transpose","level":3,"score":0.62479335},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.54936796},{"id":"https://openalex.org/C12455157","wikidata":"https://www.wikidata.org/wiki/Q7835331","display_name":"Transposition (logic)","level":2,"score":0.54154736},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.51654947},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.513415},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47526234},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.47289005},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.47062826},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.46662176},{"id":"https://openalex.org/C136003732","wikidata":"https://www.wikidata.org/wiki/Q3854337","display_name":"Algebraic operation","level":3,"score":0.45328242},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4470253},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.42167068},{"id":"https://openalex.org/C2777102281","wikidata":"https://www.wikidata.org/wiki/Q735151","display_name":"Destructor","level":3,"score":0.41720843},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2803075},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.23056853},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11133495},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.09518248},{"id":"https://openalex.org/C158693339","wikidata":"https://www.wikidata.org/wiki/Q190524","display_name":"Eigenvalues and eigenvectors","level":2,"score":0.07822764},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","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},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0},{"id":"https://openalex.org/C43617362","wikidata":"https://www.wikidata.org/wiki/Q170050","display_name":"Chromatography","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C2779711295","wikidata":"https://www.wikidata.org/wiki/Q2441993","display_name":"Mite","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89884-1_3","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1_3.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89884-1_3","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1_3.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":41,"referenced_works":["https://openalex.org/W1492489158","https://openalex.org/W1513579486","https://openalex.org/W1537618227","https://openalex.org/W1544933093","https://openalex.org/W1545449210","https://openalex.org/W1557561422","https://openalex.org/W1559059528","https://openalex.org/W1586902756","https://openalex.org/W1595544871","https://openalex.org/W1803100400","https://openalex.org/W1827112781","https://openalex.org/W1977140313","https://openalex.org/W1980939032","https://openalex.org/W1984514567","https://openalex.org/W1986402635","https://openalex.org/W1987624682","https://openalex.org/W1999662942","https://openalex.org/W2003797043","https://openalex.org/W2007757832","https://openalex.org/W2016326123","https://openalex.org/W2026323010","https://openalex.org/W2043416466","https://openalex.org/W2053198071","https://openalex.org/W2055970549","https://openalex.org/W2074592053","https://openalex.org/W2085552917","https://openalex.org/W2115847338","https://openalex.org/W2117692498","https://openalex.org/W2118172707","https://openalex.org/W2123092976","https://openalex.org/W2139626883","https://openalex.org/W2140647971","https://openalex.org/W2154390633","https://openalex.org/W2161973496","https://openalex.org/W2178095747","https://openalex.org/W2255732237","https://openalex.org/W2518300910","https://openalex.org/W40564209","https://openalex.org/W4241907611","https://openalex.org/W4245021137","https://openalex.org/W4252547602"],"related_works":["https://openalex.org/W2798938825","https://openalex.org/W2584819674","https://openalex.org/W2542695737","https://openalex.org/W2090686886","https://openalex.org/W2047793074","https://openalex.org/W2007632774","https://openalex.org/W1855927527","https://openalex.org/W1600104581","https://openalex.org/W1587224678","https://openalex.org/W1545848507"],"abstract_inverted_index":{"We":[0,75,103,196],"characterize":[1],"the":[2,29,60,64,71,101,106,115,123,169,193,199],"relation":[3],"between":[4],"generalized":[5,18],"algebraic":[6,19],"datatypes":[7],"(GADTs)":[8],"with":[9,22],"pattern":[10],"matching":[11,24],"on":[12,25,28],"their":[13,26],"constructors":[14],"one":[15],"hand,":[16],"and":[17,50,53,85,93,109,119,136,143,150,152,214],"co-datatypes":[20],"(GAcoDTs)":[21],"copattern":[23],"destructors":[27],"other":[30],"hand:":[31],"GADTs":[32,47,84,92,140,177],"can":[33,42,138,160,204],"be":[34,43,161],"converted":[35,44],"mechanically":[36,45,121],"to":[37,46,56,99,141,173,185],"GAcoDTs":[38,41,86,94,142],"by":[39,48,163],"refunctionalization,":[40],"defunctionalization,":[49],"both":[51,146],"defunctionalization":[52,135],"refunctionalization":[54,137],"correspond":[55,172],"a":[57,78,89,167],"transposition":[58],"of":[59,70,112,130,155,201,209],"matrix":[61,174],"in":[62,87,114,165,180],"which":[63,82],"equations":[65],"for":[66,212],"each":[67,156],"constructor/destructor":[68],"pair":[69],"(co-)datatype":[72],"are":[73,95,148,153,178],"organized.":[74],"have":[76,104,120],"defined":[77],"calculus,":[79],"$$GADT^T$$":[80,113,131],",":[81],"unifies":[83],"such":[88,166],"way":[90,168,184],"that":[91,198],"merely":[96],"different":[97],"ways":[98],"partition":[100],"program.":[102],"formalized":[105],"type":[107,128],"system":[108,129],"operational":[110],"semantics":[111],"Coq":[116],"proof":[117],"assistant":[118],"verified":[122],"following":[124],"results:":[125],"(1)":[126],"The":[127],"is":[132],"sound,":[133],"(2)":[134],"translate":[139],"back,":[144],"(3)":[145],"transformations":[147,171],"type-":[149],"semantics-preserving":[151],"inverses":[154],"other,":[157],"(4)":[158],"(co-)datatypes":[159],"represented":[162],"matrices":[164],"aforementioned":[170],"transposition,":[175],"(5)":[176],"extensible":[179],"an":[181],"exactly":[182],"dual":[183],"GAcoDTs;":[186],"we":[187],"thereby":[188],"clarify":[189],"folklore":[190],"knowledge":[191],"about":[192],"\u201cexpression":[194],"problem\u201d.":[195],"believe":[197],"identification":[200],"this":[202],"relationship":[203],"guide":[205],"future":[206],"language":[207],"design":[208],"\u201cdual":[210],"features\u201d":[211],"data":[213],"codata.":[215]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2798938825","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-01-16T07:52:51.776775","created_date":"2018-05-07"}