乐胖代购免代理版

{"id":"https://openalex.org/W2071042586","doi":"https://doi.org/10.1145/232627.232640","title":"Inductive, coinductive, and pointed types","display_name":"Inductive, coinductive, and pointed types","publication_year":1996,"publication_date":"1996-06-15","ids":{"openalex":"https://openalex.org/W2071042586","doi":"https://doi.org/10.1145/232627.232640","mag":"2071042586"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/232627.232640","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/232629.232640","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/232629.232640","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112076971","display_name":"Brian Howard","orcid":null},"institutions":[{"id":"https://openalex.org/I189590672","display_name":"Kansas State University","ror":"https://ror.org/05p1j8758","country_code":"US","type":"funder","lineage":["https://openalex.org/I189590672"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Brian T. Howard","raw_affiliation_strings":["Department of Computer and Information Sciences, Kansas State University"],"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Sciences, Kansas State University","institution_ids":["https://openalex.org/I189590672"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5112076971"],"corresponding_institution_ids":["https://openalex.org/I189590672"],"apc_list":null,"apc_paid":null,"fwci":1.764,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":21,"citation_normalized_percentile":{"value":0.830648,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":85,"max":86},"biblio":{"volume":null,"issue":null,"first_page":"102","last_page":"109"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9993,"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.9993,"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.9816,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9283,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/coinduction","display_name":"Coinduction","score":0.97605956},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.45273864},{"id":"https://openalex.org/keywords/primitive-recursive-function","display_name":"Primitive recursive function","score":0.44644144},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.41360715}],"concepts":[{"id":"https://openalex.org/C40220748","wikidata":"https://www.wikidata.org/wiki/Q4227156","display_name":"Coinduction","level":3,"score":0.97605956},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.7239238},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.63189006},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5340297},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5308702},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.5080111},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.50016713},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.47926116},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.45273864},{"id":"https://openalex.org/C9986523","wikidata":"https://www.wikidata.org/wiki/Q1570472","display_name":"Primitive recursive function","level":2,"score":0.44644144},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43150488},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.42932004},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4235803},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.41501993},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.41360715},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3974989},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.34280893},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33800948},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.09366152},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09297261},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"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/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","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},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/232627.232640","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/232629.232640","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/232627.232640","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/232629.232640","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":24,"referenced_works":["https://openalex.org/W1487166760","https://openalex.org/W1495843174","https://openalex.org/W1526260980","https://openalex.org/W1532765574","https://openalex.org/W1534185537","https://openalex.org/W1561269335","https://openalex.org/W1565457335","https://openalex.org/W1566009901","https://openalex.org/W1579817075","https://openalex.org/W1589613545","https://openalex.org/W159715351","https://openalex.org/W1608714802","https://openalex.org/W1977260399","https://openalex.org/W1985557227","https://openalex.org/W2024873396","https://openalex.org/W2049362364","https://openalex.org/W2064236106","https://openalex.org/W2121306658","https://openalex.org/W2132750992","https://openalex.org/W2139837187","https://openalex.org/W2156876717","https://openalex.org/W2489678876","https://openalex.org/W2579582130","https://openalex.org/W79336753"],"related_works":["https://openalex.org/W3080875783","https://openalex.org/W2952868638","https://openalex.org/W2950660121","https://openalex.org/W2152635269","https://openalex.org/W2133055704","https://openalex.org/W2071042586","https://openalex.org/W2053068669","https://openalex.org/W1551036056","https://openalex.org/W1532383456","https://openalex.org/W1532335840"],"abstract_inverted_index":{"An":[0],"extension":[1],"of":[2,23,47],"the":[3,45,73,88],"simply-typed":[4],"lambda":[5],"calculus":[6],"is":[7,29,59,78],"presented":[8],"which":[9,18,26,66,84],"contains":[10],"both":[11],"well-structured":[12],"inductive":[13],"and":[14,17,93],"coinductive":[15],"types,":[16],"also":[19],"identifies":[20],"a":[21,60,81],"class":[22],"types":[24],"for":[25,33,75,90],"general":[27,76],"recursion":[28,77],"possible.":[30],"The":[31],"motivations":[32],"this":[34,58],"work":[35,68],"are":[36],"certain":[37],"natural":[38],"constructions":[39],"in":[40,43,65,80],"category":[41],"theory,":[42],"particular":[44],"notion":[46],"an":[48],"algebraically":[49],"bounded":[50,91],"functor,":[51],"due":[52],"to":[53,67],"Freyd.":[54],"We":[55],"propose":[56],"that":[57],"particularly":[61],"elegant":[62],"core":[63],"language":[64],"with":[69,87],"recursive":[70],"objects,":[71],"since":[72],"potential":[74],"contained":[79],"single":[82],"operator":[83],"interacts":[85],"well":[86],"facilities":[89],"iteration":[92],"coiteration.":[94]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2071042586","counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-03-19T11:45:34.788996","created_date":"2016-06-24"}