{"id":"https://openalex.org/W2017076981","doi":"https://doi.org/10.1007/s00224-007-9062-1","title":"A Provably Correct Translation of the \u03bb-Calculus into a Mathematical Model of C++","display_name":"A Provably Correct Translation of the \u03bb-Calculus into a Mathematical Model of C++","publication_year":2007,"publication_date":"2007-10-12","ids":{"openalex":"https://openalex.org/W2017076981","doi":"https://doi.org/10.1007/s00224-007-9062-1","mag":"2017076981"},"language":"en","primary_location":{"id":"doi:10.1007/s00224-007-9062-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00224-007-9062-1","pdf_url":null,"source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},"type":"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/A5040770825","display_name":"Rose H. Abdul Rauf","orcid":null},"institutions":[{"id":"https://openalex.org/I4210138650","display_name":"Universiti Teknologi MARA System","ror":"https://ror.org/030847t23","country_code":"MY","type":"education","lineage":["https://openalex.org/I4210138650"]}],"countries":["MY"],"is_corresponding":true,"raw_author_name":"Rose H. Abdul\u00a0Rauf","raw_affiliation_strings":["Faculty of Information System and Quantitative Science, University of Technology MARA, 40450, Shah Alam, Selangor D.E., Malaysia","University of Technology MARA, Faculty of Information System and Quantitative Science, 40450, Shah Alam, Selangor D.E., Malaysia#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Information System and Quantitative Science, University of Technology MARA, 40450, Shah Alam, Selangor D.E., Malaysia","institution_ids":["https://openalex.org/I4210138650"]},{"raw_affiliation_string":"University of Technology MARA, Faculty of Information System and Quantitative Science, 40450, Shah Alam, Selangor D.E., Malaysia#TAB#","institution_ids":["https://openalex.org/I4210138650"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005999573","display_name":"Ulrich Berger","orcid":"https://orcid.org/0000-0002-7677-3582"},"institutions":[{"id":"https://openalex.org/I39586589","display_name":"Swansea University","ror":"https://ror.org/053fq8t95","country_code":"GB","type":"education","lineage":["https://openalex.org/I39586589"]},{"id":"https://openalex.org/I97429440","display_name":"University of Wales","ror":"https://ror.org/01se4f844","country_code":"GB","type":"education","lineage":["https://openalex.org/I97429440"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ulrich Berger","raw_affiliation_strings":["Department of Computer Science, University of Wales Swansea, Singleton Park, Swansea, SA2 8PP, UK","University of Wales Swansea, Department of Computer Science, Singleton Park, SA2 8PP, Swansea, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Wales Swansea, Singleton Park, Swansea, SA2 8PP, UK","institution_ids":["https://openalex.org/I39586589","https://openalex.org/I97429440"]},{"raw_affiliation_string":"University of Wales Swansea, Department of Computer Science, Singleton Park, SA2 8PP, Swansea, UK","institution_ids":["https://openalex.org/I39586589"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060337321","display_name":"Anton Setzer","orcid":"https://orcid.org/0000-0001-5322-6060"},"institutions":[{"id":"https://openalex.org/I97429440","display_name":"University of Wales","ror":"https://ror.org/01se4f844","country_code":"GB","type":"education","lineage":["https://openalex.org/I97429440"]},{"id":"https://openalex.org/I39586589","display_name":"Swansea University","ror":"https://ror.org/053fq8t95","country_code":"GB","type":"education","lineage":["https://openalex.org/I39586589"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Anton Setzer","raw_affiliation_strings":["Department of Computer Science, University of Wales Swansea, Singleton Park, Swansea, SA2 8PP, UK","University of Wales Swansea, Department of Computer Science, Singleton Park, SA2 8PP, Swansea, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Wales Swansea, Singleton Park, Swansea, SA2 8PP, UK","institution_ids":["https://openalex.org/I39586589","https://openalex.org/I97429440"]},{"raw_affiliation_string":"University of Wales Swansea, Department of Computer Science, Singleton Park, SA2 8PP, Swansea, UK","institution_ids":["https://openalex.org/I39586589"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5040770825"],"corresponding_institution_ids":["https://openalex.org/I4210138650"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08348877,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"43","issue":"3-4","first_page":"298","last_page":"321"},"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.9997000098228455,"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.9997000098228455,"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.9810000061988831,"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.9674000144004822,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.8307105302810669},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.72279953956604},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.6854131817817688},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.6015418767929077},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5969350337982178},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5397551655769348},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5034005045890808},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.47314226627349854},{"id":"https://openalex.org/keywords/normalisation-by-evaluation","display_name":"Normalisation by evaluation","score":0.41047194600105286},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3550571799278259},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32012081146240234},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.29676610231399536},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2967175245285034},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.11762017011642456}],"concepts":[{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.8307105302810669},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.72279953956604},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.6854131817817688},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.6015418767929077},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5969350337982178},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5397551655769348},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5034005045890808},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.47314226627349854},{"id":"https://openalex.org/C87365073","wikidata":"https://www.wikidata.org/wiki/Q7051843","display_name":"Normalisation by evaluation","level":5,"score":0.41047194600105286},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3550571799278259},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32012081146240234},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.29676610231399536},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2967175245285034},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.11762017011642456},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","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},{"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/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","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}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/s00224-007-9062-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00224-007-9062-1","pdf_url":null,"source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.142.5400","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.5400","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-compsci.swan.ac.uk/~csulrich/ftp/TocsAbdulraufBergerSetzer06.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.64.35","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.35","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.swan.ac.uk/~csetzer/articles/rosebergersetzerIntegratingFunctionalProgrammingIntoCplusplus.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.997.786","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.997.786","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://cronfa.swan.ac.uk/Record/cronfa19416/Download/0019416-17052015172754.pdf","raw_type":"text"},{"id":"pmh:oai:cronfa.swan.ac.uk:cronfa135","is_oa":false,"landing_page_url":"https://cronfa.swan.ac.uk/Record/cronfa135","pdf_url":null,"source":{"id":"https://openalex.org/S4306401612","display_name":"Cronfa (Swansea University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I39586589","host_organization_name":"Swansea University","host_organization_lineage":["https://openalex.org/I39586589"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.44999998807907104,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W58308675","https://openalex.org/W72610527","https://openalex.org/W157065520","https://openalex.org/W326743114","https://openalex.org/W1511668635","https://openalex.org/W1557646685","https://openalex.org/W1586093680","https://openalex.org/W1591846509","https://openalex.org/W1595551119","https://openalex.org/W1965297988","https://openalex.org/W1997143185","https://openalex.org/W2007270285","https://openalex.org/W2010482386","https://openalex.org/W2068152133","https://openalex.org/W2089674328","https://openalex.org/W2109623518","https://openalex.org/W2149837936","https://openalex.org/W2168986107","https://openalex.org/W4214503682","https://openalex.org/W4234924236","https://openalex.org/W4244464581","https://openalex.org/W4256461449"],"related_works":["https://openalex.org/W2095753800","https://openalex.org/W2604895854","https://openalex.org/W2110748634","https://openalex.org/W2363690241","https://openalex.org/W1844766828","https://openalex.org/W1526135121","https://openalex.org/W1628367963","https://openalex.org/W2604377475","https://openalex.org/W4249849891","https://openalex.org/W2004608305"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}