{"id":"https://openalex.org/W1537686191","doi":"https://doi.org/10.1007/978-3-540-24727-2_13","title":"A Denotational Account of Untyped Normalization by Evaluation","display_name":"A Denotational Account of Untyped Normalization by Evaluation","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W1537686191","doi":"https://doi.org/10.1007/978-3-540-24727-2_13","mag":"1537686191"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-24727-2_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-24727-2_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-540-24727-2_13.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/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-540-24727-2_13.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048548468","display_name":"Andrzej Filinski","orcid":"https://orcid.org/0000-0002-9174-1861"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Andrzej Filinski","raw_affiliation_strings":["DIKU, University of Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"DIKU, University of Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060997849","display_name":"Henning Korsholm Rohde","orcid":null},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Henning Korsholm Rohde","raw_affiliation_strings":["BRICS, University of Aarhus, Denmark"],"affiliations":[{"raw_affiliation_string":"BRICS, University of Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5048548468"],"corresponding_institution_ids":["https://openalex.org/I124055696"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.274,"has_fulltext":true,"cited_by_count":33,"citation_normalized_percentile":{"value":0.89304933,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"167","last_page":"181"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9986000061035156,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9929999709129333,"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/normalization","display_name":"Normalization (sociology)","score":0.7695108652114868},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.7645180225372314},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6762034893035889},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6640662550926208},{"id":"https://openalex.org/keywords/normalisation-by-evaluation","display_name":"Normalisation by evaluation","score":0.5236339569091797},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.508148193359375},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.4781573712825775},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.4300982654094696},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.41835644841194153},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4153772294521332},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.2528379559516907},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.25209444761276245},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23161187767982483}],"concepts":[{"id":"https://openalex.org/C136886441","wikidata":"https://www.wikidata.org/wiki/Q926129","display_name":"Normalization (sociology)","level":2,"score":0.7695108652114868},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7645180225372314},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6762034893035889},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6640662550926208},{"id":"https://openalex.org/C87365073","wikidata":"https://www.wikidata.org/wiki/Q7051843","display_name":"Normalisation by evaluation","level":5,"score":0.5236339569091797},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.508148193359375},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.4781573712825775},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4300982654094696},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.41835644841194153},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4153772294521332},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.2528379559516907},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.25209444761276245},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23161187767982483},{"id":"https://openalex.org/C19165224","wikidata":"https://www.wikidata.org/wiki/Q23404","display_name":"Anthropology","level":1,"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-540-24727-2_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-24727-2_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-540-24727-2_13.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/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.58.2460","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.2460","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.diku.dk/diku/semantics/papers/D-502.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.84.4869","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.4869","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.diku.dk/hjemmesider/ansatte/andrzej/papers/ADAoUNbE.pdf","raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:publications/28dcc730-3522-11dc-bee9-02004c4f4f50","is_oa":false,"landing_page_url":"https://pure.au.dk/portal/en/publications/28dcc730-3522-11dc-bee9-02004c4f4f50","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Filinski, A, Rohde, H K & Walukiewicz, I (ed.) 2004, A Denotational Account of Untyped Normalization by Evaluation. in Foundations of Software Science and Computation Structures : Proceedings of the 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004. 2987 edn, vol. Lecture Notes in Computer Science, Springer, pp. 167-181, Foundations of Software Science and Computation Structures (FOSSACS 2004), Barcelona, Spain, 29/03/2004.","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/978-3-540-24727-2_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-24727-2_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-540-24727-2_13.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/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1537686191.pdf","grobid_xml":"https://content.openalex.org/works/W1537686191.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W1551132038","https://openalex.org/W1563480347","https://openalex.org/W1783167788","https://openalex.org/W2007270285","https://openalex.org/W2060852846","https://openalex.org/W2102151984","https://openalex.org/W2136171121","https://openalex.org/W2141636159","https://openalex.org/W2159526276","https://openalex.org/W2399951213","https://openalex.org/W4238888100"],"related_works":["https://openalex.org/W13634261","https://openalex.org/W4250462479","https://openalex.org/W56937029","https://openalex.org/W3163509751","https://openalex.org/W958050847","https://openalex.org/W2396405675","https://openalex.org/W175051304","https://openalex.org/W2097112237","https://openalex.org/W2754782259","https://openalex.org/W1592473838"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2020-11-23T00:00:00"}