{"id":"https://openalex.org/W2214670894","doi":"https://doi.org/10.1145/800227.806897","title":"A logical view of types","display_name":"A logical view of types","publication_year":1980,"publication_date":"1980-01-01","ids":{"openalex":"https://openalex.org/W2214670894","doi":"https://doi.org/10.1145/800227.806897","mag":"2214670894"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/800227.806897","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5083236989","display_name":"Patrick J. Hayes","orcid":"https://orcid.org/0000-0002-6639-9187"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Patrick J. Hayes","raw_affiliation_strings":["SRI International"],"affiliations":[{"raw_affiliation_string":"SRI International","institution_ids":["https://openalex.org/I1298353152"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058883766","display_name":"Gary G. Hendrix","orcid":null},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gary G. Hendrix","raw_affiliation_strings":["SRI International"],"affiliations":[{"raw_affiliation_string":"SRI International","institution_ids":["https://openalex.org/I1298353152"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.239899,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":74,"max":75},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.3225,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.3225,"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":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.64302266}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/800227.806897","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4396701345","https://openalex.org/W4396696052","https://openalex.org/W4395014643","https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2001405890"],"abstract_inverted_index":{"People":[0],"working":[1],"in":[2,40,75],"the":[3,18,41,62,66],"areas":[4],"of":[5,20,38,78],"data":[6],"abstraction,":[7],"databases,":[8],"and":[9,25,69,107,111],"conceptual":[10,105],"modeling":[11],"have":[12],"argued":[13],"at":[14],"considerable":[15],"length":[16],"over":[17],"meanings":[19],"such":[21],"terms":[22,67],"as":[23],"\"abstraction\"":[24,68],"\"type.\"*":[26],"Rather":[27],"than":[28],"add":[29],"to":[30,47,56,85],"this":[31,123],"debate":[32],"by":[33],"offering":[34],"yet":[35],"another":[36],"set":[37],"definitions,":[39],"paragraphs":[42],"below":[43],"we":[44],"shall":[45],"attempt":[46],"show":[48],"how":[49],"ordinary":[50],"predicate":[51,88],"calculus":[52,89],"can":[53],"be":[54],"used":[55,74],"talk":[57],"about":[58],"most":[59],"(perhaps":[60],"all)":[61],"notions":[63],"for":[64,94,109,122],"which":[65],"\"type\"":[70],"are":[71,125],"currently":[72],"being":[73],"various":[76,114],"quarters":[77],"computer":[79],"science.":[80],"We":[81],"do":[82],"not":[83],"intend":[84],"argue":[86],"that":[87,99,118],"is":[90],"a":[91,102],"suitable":[92],"tool":[93],"implementing":[95],"types,":[96],"but":[97],"rather":[98],"it":[100],"provides":[101],"well-understood,":[103],"uniform":[104],"framework":[106],"notation":[108],"describing":[110],"precisely":[112],"comparing":[113],"ideas":[115],"on":[116],"typing\u2014and":[117],"special":[119],"notations":[120],"developed":[121],"purpose":[124],"therefore":[126],"unnecessary.":[127]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2214670894","counts_by_year":[],"updated_date":"2024-12-09T02:59:39.705177","created_date":"2016-06-24"}