{"id":"https://openalex.org/W2089325110","doi":"https://doi.org/10.1016/s0890-5401(03)00062-2","title":"Typed operational semantics for higher-order subtyping","display_name":"Typed operational semantics for higher-order subtyping","publication_year":2003,"publication_date":"2003-06-02","ids":{"openalex":"https://openalex.org/W2089325110","doi":"https://doi.org/10.1016/s0890-5401(03)00062-2","mag":"2089325110"},"language":"en","primary_location":{"id":"doi:10.1016/s0890-5401(03)00062-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s0890-5401(03)00062-2","pdf_url":"https://www.sciencedirect.com/science/article/pii/S0890540103000622/pdf","source":{"id":"https://openalex.org/S59933527","display_name":"Information and Computation","issn_l":"0890-5401","issn":["0890-5401","1090-2651"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.sciencedirect.com/science/article/pii/S0890540103000622/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014810005","display_name":"Adriana Compagnoni","orcid":null},"institutions":[{"id":"https://openalex.org/I108468826","display_name":"Stevens Institute of Technology","ror":"https://ror.org/02z43xh36","country_code":"US","type":"education","lineage":["https://openalex.org/I108468826"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Adriana Compagnoni","raw_affiliation_strings":["Stevens Institute of Technology, Department of Computer Science, Castle Point on Hudson Lieb Building, Third Floor, Room 317, Hoboken, NJ 07030, USA","Stevens Institute of Technology, Department of Computer Science, Hoboken, NJ"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stevens Institute of Technology, Department of Computer Science, Castle Point on Hudson Lieb Building, Third Floor, Room 317, Hoboken, NJ 07030, USA","institution_ids":["https://openalex.org/I108468826"]},{"raw_affiliation_string":"Stevens Institute of Technology, Department of Computer Science, Hoboken, NJ","institution_ids":["https://openalex.org/I108468826"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054889026","display_name":"Healfdene Goguen","orcid":null},"institutions":[{"id":"https://openalex.org/I1283103587","display_name":"AT&T (United States)","ror":"https://ror.org/02bbd5539","country_code":"US","type":"company","lineage":["https://openalex.org/I1283103587"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Healfdene Goguen","raw_affiliation_strings":["AT&T Labs, 180 Park Ave., Florham Park, NJ 07932, USA","AT&T Labs, 180 Park Ave., Florham Park, NJ#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AT&T Labs, 180 Park Ave., Florham Park, NJ 07932, USA","institution_ids":["https://openalex.org/I1283103587"]},{"raw_affiliation_string":"AT&T Labs, 180 Park Ave., Florham Park, NJ#TAB#","institution_ids":["https://openalex.org/I1283103587"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5014810005"],"corresponding_institution_ids":["https://openalex.org/I108468826"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":3.8787,"has_fulltext":true,"cited_by_count":32,"citation_normalized_percentile":{"value":0.93698506,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"184","issue":"2","first_page":"242","last_page":"297"},"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.9998000264167786,"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.9998000264167786,"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.9930999875068665,"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.9879000186920166,"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/decidability","display_name":"Decidability","score":0.783184826374054},{"id":"https://openalex.org/keywords/subtyping","display_name":"Subtyping","score":0.7696648836135864},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.7649468183517456},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.6585553884506226},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.637248158454895},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6280128955841064},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5031680464744568},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.48300373554229736},{"id":"https://openalex.org/keywords/proof-theoretic-semantics","display_name":"Proof-theoretic semantics","score":0.4546546936035156},{"id":"https://openalex.org/keywords/combinatory-logic","display_name":"Combinatory logic","score":0.4408940076828003},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.4369056820869446},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4166371822357178},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3154544234275818},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.30878734588623047},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2572627365589142}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.783184826374054},{"id":"https://openalex.org/C83852419","wikidata":"https://www.wikidata.org/wiki/Q2713292","display_name":"Subtyping","level":2,"score":0.7696648836135864},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7649468183517456},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.6585553884506226},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.637248158454895},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6280128955841064},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5031680464744568},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.48300373554229736},{"id":"https://openalex.org/C61151141","wikidata":"https://www.wikidata.org/wiki/Q7249983","display_name":"Proof-theoretic semantics","level":5,"score":0.4546546936035156},{"id":"https://openalex.org/C79678938","wikidata":"https://www.wikidata.org/wiki/Q1481571","display_name":"Combinatory logic","level":2,"score":0.4408940076828003},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.4369056820869446},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4166371822357178},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3154544234275818},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.30878734588623047},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2572627365589142}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1016/s0890-5401(03)00062-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s0890-5401(03)00062-2","pdf_url":"https://www.sciencedirect.com/science/article/pii/S0890540103000622/pdf","source":{"id":"https://openalex.org/S59933527","display_name":"Information and Computation","issn_l":"0890-5401","issn":["0890-5401","1090-2651"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Computation","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.146.505","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.505","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cis.upenn.edu/~bcpierce/courses/629/papers/unfiled/toshos.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.47.3019","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.3019","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dcs.ed.ac.uk/lfcsreps/EXPORT/97/ECS-LFCS-97-361/ECS-LFCS-97-361.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.55.1318","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.1318","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://guinness.cs.stevens-tech.edu/~abc/toshos.ps","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1016/s0890-5401(03)00062-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s0890-5401(03)00062-2","pdf_url":"https://www.sciencedirect.com/science/article/pii/S0890540103000622/pdf","source":{"id":"https://openalex.org/S59933527","display_name":"Information and Computation","issn_l":"0890-5401","issn":["0890-5401","1090-2651"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Computation","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5400000214576721,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2089325110.pdf","grobid_xml":"https://content.openalex.org/works/W2089325110.grobid-xml"},"referenced_works_count":75,"referenced_works":["https://openalex.org/W2145199","https://openalex.org/W18425853","https://openalex.org/W96984112","https://openalex.org/W159715351","https://openalex.org/W251991740","https://openalex.org/W626707627","https://openalex.org/W1486181131","https://openalex.org/W1506093933","https://openalex.org/W1507881659","https://openalex.org/W1525829790","https://openalex.org/W1527062704","https://openalex.org/W1527465475","https://openalex.org/W1533074262","https://openalex.org/W1541134641","https://openalex.org/W1544633123","https://openalex.org/W1547527421","https://openalex.org/W1548627669","https://openalex.org/W1549804464","https://openalex.org/W1563063152","https://openalex.org/W1573802872","https://openalex.org/W1594315934","https://openalex.org/W1595769750","https://openalex.org/W1966663897","https://openalex.org/W1970227944","https://openalex.org/W2003298503","https://openalex.org/W2011825885","https://openalex.org/W2018181305","https://openalex.org/W2027657506","https://openalex.org/W2044758536","https://openalex.org/W2048569219","https://openalex.org/W2057648994","https://openalex.org/W2078944436","https://openalex.org/W2091240930","https://openalex.org/W2105126759","https://openalex.org/W2113180261","https://openalex.org/W2113239150","https://openalex.org/W2113585688","https://openalex.org/W2120348241","https://openalex.org/W2121993468","https://openalex.org/W2123727486","https://openalex.org/W2132750992","https://openalex.org/W2139144234","https://openalex.org/W2139325027","https://openalex.org/W2149587963","https://openalex.org/W2149837936","https://openalex.org/W2163009019","https://openalex.org/W2166683168","https://openalex.org/W2167017930","https://openalex.org/W2167231542","https://openalex.org/W2169366145","https://openalex.org/W2171058032","https://openalex.org/W2171425038","https://openalex.org/W2173184982","https://openalex.org/W2405921311","https://openalex.org/W2911379300","https://openalex.org/W2911469611","https://openalex.org/W3104826616","https://openalex.org/W4294254159","https://openalex.org/W4298231062","https://openalex.org/W6600760271","https://openalex.org/W6628879928","https://openalex.org/W6629028562","https://openalex.org/W6631448600","https://openalex.org/W6631483109","https://openalex.org/W6632650452","https://openalex.org/W6632970877","https://openalex.org/W6633597228","https://openalex.org/W6634228587","https://openalex.org/W6635403690","https://openalex.org/W6635571240","https://openalex.org/W6655940369","https://openalex.org/W6684080315","https://openalex.org/W6684245348","https://openalex.org/W6684461062","https://openalex.org/W6858163320"],"related_works":["https://openalex.org/W135120204","https://openalex.org/W4285028864","https://openalex.org/W4205743188","https://openalex.org/W1585037119","https://openalex.org/W2185409361","https://openalex.org/W2149285895","https://openalex.org/W1536150964","https://openalex.org/W2026758782","https://openalex.org/W2148160518","https://openalex.org/W2089325110"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-31T08:31:51.225901","created_date":"2025-10-10T00:00:00"}