{"id":"https://openalex.org/W5740014","doi":null,"title":"A Semantic Framework for Higher-Order Functional Logic Programming with Lambda Abstractions","display_name":"A Semantic Framework for Higher-Order Functional Logic Programming with Lambda Abstractions","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W5740014","mag":"5740014"},"language":"es","primary_location":{"id":"pmh:oai:dnet:eprintscompl::d3063c8c9359dceb58bf82f01aa12e41","doi":null,"is_oa":true,"landing_page_url":"https://eprints.ucm.es/id/eprint/13201/1/TFM_FPM_2010-2011.pdf","pdf_url":"https://eprints.ucm.es/id/eprint/13201/1/TFM_FPM_2010-2011.pdf","source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/masterThesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://eprints.ucm.es/id/eprint/13201/1/TFM_FPM_2010-2011.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062284725","display_name":"Fernando P\u00e9rez Morente","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Fernando P\u00e9rez Morente","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5062284725"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11727","display_name":"Advanced Algebra and Logic","score":0.000699999975040555,"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.00039999998989515007,"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/lambda-abstraction","display_name":"lambda abstraction","score":0.8740000128746033},{"id":"https://openalex.org/keywords/higher-order-unification","display_name":"higher-order unification","score":0.8920000195503235},{"id":"https://openalex.org/keywords/model-theoretic-semantics","display_name":"model-theoretic semantics","score":0.9559999704360962},{"id":"https://openalex.org/keywords/fixed-point-semantics","display_name":"fixed-point semantics","score":0.9980000257492065},{"id":"https://openalex.org/keywords/compositional-semantics","display_name":"compositional semantics","score":0.8889999985694885},{"id":"https://openalex.org/keywords/full-abstraction","display_name":"full abstraction","score":0.6769999861717224},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"declarative programming","score":0.7710000276565552}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.5536044836044312},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.5506713390350342},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5422258377075195},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5219818353652954},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5041435956954956},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47250282764434814},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4313715398311615},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.38888975977897644},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3600773811340332},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3543091416358948},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3370954990386963},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.30926385521888733},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.12032610177993774},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:dnet:eprintscompl::d3063c8c9359dceb58bf82f01aa12e41","doi":null,"is_oa":true,"landing_page_url":"https://eprints.ucm.es/id/eprint/13201/1/TFM_FPM_2010-2011.pdf","pdf_url":"https://eprints.ucm.es/id/eprint/13201/1/TFM_FPM_2010-2011.pdf","source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/masterThesis"},{"id":"pmh:oai:www.ucm.es:13201","doi":null,"is_oa":true,"landing_page_url":"https://eprints.ucm.es/13201/1/TFM_FPM_2010-2011.pdf","pdf_url":"https://eprints.ucm.es/13201/1/TFM_FPM_2010-2011.pdf","source":{"id":"https://openalex.org/S4377196321","display_name":"Docta Complutense (Universidad Complutense de Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I121748325","host_organization_name":"Universidad Complutense de Madrid","host_organization_lineage":["https://openalex.org/I121748325"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/masterThesis"},{"id":"mag:5740014","doi":null,"is_oa":false,"landing_page_url":"https://eprints.ucm.es/13201/1/TFM_FPM_2010-2011.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:dnet:eprintscompl::d3063c8c9359dceb58bf82f01aa12e41","doi":null,"is_oa":true,"landing_page_url":"https://eprints.ucm.es/id/eprint/13201/1/TFM_FPM_2010-2011.pdf","pdf_url":"https://eprints.ucm.es/id/eprint/13201/1/TFM_FPM_2010-2011.pdf","source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/masterThesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W5740014.pdf","grobid_xml":"https://content.openalex.org/works/W5740014.grobid-xml"},"referenced_works_count":82,"referenced_works":["https://openalex.org/W78995489","https://openalex.org/W80604035","https://openalex.org/W93385149","https://openalex.org/W100098737","https://openalex.org/W127828801","https://openalex.org/W144978793","https://openalex.org/W161961141","https://openalex.org/W179746882","https://openalex.org/W192170012","https://openalex.org/W347704223","https://openalex.org/W405637517","https://openalex.org/W566788094","https://openalex.org/W623061357","https://openalex.org/W1235103349","https://openalex.org/W1481848333","https://openalex.org/W1490777320","https://openalex.org/W1490930296","https://openalex.org/W1494407580","https://openalex.org/W1496412704","https://openalex.org/W1502033192","https://openalex.org/W1504949952","https://openalex.org/W1508237628","https://openalex.org/W1512480360","https://openalex.org/W1522154830","https://openalex.org/W1522171014","https://openalex.org/W1534152665","https://openalex.org/W1535171920","https://openalex.org/W1541434994","https://openalex.org/W1542795482","https://openalex.org/W1544564247","https://openalex.org/W1557561422","https://openalex.org/W1583295953","https://openalex.org/W1585533089","https://openalex.org/W1586167239","https://openalex.org/W1594912681","https://openalex.org/W1600600558","https://openalex.org/W1604972677","https://openalex.org/W1776599990","https://openalex.org/W1819779993","https://openalex.org/W1858561842","https://openalex.org/W1921642287","https://openalex.org/W1975808446","https://openalex.org/W1976195354","https://openalex.org/W2013131987","https://openalex.org/W2016620223","https://openalex.org/W2017160649","https://openalex.org/W2022647944","https://openalex.org/W2022951178","https://openalex.org/W2030415451","https://openalex.org/W2038702451","https://openalex.org/W2042398609","https://openalex.org/W2049352524","https://openalex.org/W2054839338","https://openalex.org/W2059054133","https://openalex.org/W2059885874","https://openalex.org/W2063521547","https://openalex.org/W2065604163","https://openalex.org/W2074056576","https://openalex.org/W2089111669","https://openalex.org/W2093252072","https://openalex.org/W2095956238","https://openalex.org/W2099792091","https://openalex.org/W2100738443","https://openalex.org/W2100758996","https://openalex.org/W2101312015","https://openalex.org/W2103017056","https://openalex.org/W2105232714","https://openalex.org/W2113722134","https://openalex.org/W2113740617","https://openalex.org/W2126018011","https://openalex.org/W2127844749","https://openalex.org/W2132750992","https://openalex.org/W2133420304","https://openalex.org/W2154273644","https://openalex.org/W2165434002","https://openalex.org/W2168657248","https://openalex.org/W2179833932","https://openalex.org/W2313175711","https://openalex.org/W2502623024","https://openalex.org/W2781632589","https://openalex.org/W3142606855","https://openalex.org/W4214478546"],"related_works":["https://openalex.org/W1515870595","https://openalex.org/W1996791038","https://openalex.org/W2539959346","https://openalex.org/W57122139","https://openalex.org/W1858561842","https://openalex.org/W1726845847","https://openalex.org/W2298806063","https://openalex.org/W7139632339","https://openalex.org/W6989214616","https://openalex.org/W2176578744"],"abstract_inverted_index":{"La":[0],"programaci\u00f3n":[1,7,23,53,93],"declarativa":[2],"es":[3,62,169],"un":[4,17,35,49,108],"paradigma":[5],"de":[6,20,38,56,65,68,70,78,86,92,103,123,135,140,154,156],"con":[8,16,59,111,174],"s\u00f3lidos":[9],"fundamentos":[10],"matem\u00e1ticos":[11],"que":[12,61,106,116,168],"permite":[13],"dise\u00f1ar":[14],"programas":[15,155],"alto":[18],"nivel":[19],"abstracci\u00f3n;":[21],"la":[22,101,119,124,151],"l\u00f3gico":[24,29,54,94],"funcional":[25,31,55,95],"a\u00fana":[26],"los":[27,66,90],"formalismos":[28],"y":[30,32,84,115,137,159,171],"ha":[33],"sido":[34],"importante":[36],"campo":[37],"investigaci\u00f3n":[39],"en":[40,73,82,130],"las":[41,177],"\u00faltimas":[42],"d\u00e9cadas.":[43],"En":[44,97],"este":[45,98],"trabajo":[46,99],"se":[47],"estudia":[48],"marco":[50,148],"moderno":[51],"para":[52,75,149,165],"orden":[57,79,87,157],"superior":[58,80,88,158],"\u03bb-abstracciones,":[60],"una":[63,133,138,145,161],"extensi\u00f3n":[64,146],"sistemas":[67],"reescritura":[69,104],"patrones":[71],"basada":[72],"\u03bb-c\u00e1lculo":[74],"a\u00f1adir":[76],"caracter\u00edsticas":[77],"basadas":[81],"\u03bb-abstracciones":[83],"unificaci\u00f3n":[85],"a":[89,121,132,176,186,199,233,272],"lenguages":[91],"convencionales.":[96],"presentamos":[100,127,144],"l\u00f3gica":[102],"GHRC":[105,276],"tiene":[107],"c\u00e1lculo":[109],"asociado":[110],"el":[112],"mismo":[113],"nombre":[114],"especifica":[117],"formalmente":[118],"derivabilidad":[120],"partir":[122],"l\u00f3gica.":[125],"Despu\u00e9s":[126],"conceptos":[128],"sem\u00e1nticos":[129],"base":[131],"sem\u00e1ntica":[134,139,162],"modelos":[136],"punto":[141],"fijo.":[142],"Finalmente,":[143],"del":[147],"permitir":[150],"construcci\u00f3n":[152],"modular":[153,163,318],"definimos":[160],"adecuada":[164],"ello":[166],"demostrando":[167],"composicional":[170],"completamente":[172],"abstracta":[173],"respecto":[175],"operaciones":[178],"definidas":[179],"sobre":[180],"m\u00f3dulos.":[181],"\\n[ABSTRACT]":[182],"\\nDeclarative":[183],"programming":[184,187,241,268],"is":[185],"paradigm":[188],"with":[189,198,242,277,281,339],"solid":[190],"mathematical":[191],"foundations":[192],"that":[193,285,332],"allow":[194],"to":[195,247,254,264,316,341],"design":[196],"programs":[197,322],"very":[200],"high":[201],"level":[202],"of":[203,221,301,313,320],"abstraction;":[204],"the":[205,224,282,290,299,314,342],"\\nfunctional":[206],"logic":[207,213,240,267,275],"formalism":[208],"puts":[209],"together":[210],"functional":[211,239,266],"and":[212,215,261,305,323,336],"formalisms":[214],"has":[216],"been":[217],"an":[218,245,278,311],"intense":[219],"matter":[220],"research":[222],"in":[223,298],"last":[225],"two":[226],"decades.":[227],"In":[228],"this":[229,329],"work":[230],"we":[231,293,309,324],"study":[232],"modern":[234],"semantic":[235,296],"framework":[236,315],"for":[237,328],"higher-order":[238,256,262],"\u03bb-abstractions,":[243],"as":[244],"extension":[246,312,330],"pattern":[248],"rewriting":[249,274],"systems":[250],"based":[251,258],"on":[252,259],"\u03bb-calculus":[253],"add":[255],"features":[257],"\u03bb-abstractions":[260],"unification":[263],"standard":[265],"languages.":[269],"We":[270],"present":[271,294,310],"declarative":[273,295],"associated":[279],"calculus":[280],"same":[283],"name":[284],"formally":[286],"specifies":[287],"derivability":[288],"from":[289],"logic.":[291],"Then":[292],"concepts":[297],"form":[300],"classic":[302],"model-theoretic":[303],"semantics":[304,326],"fixed-point":[306],"semantics.":[307],"Finally":[308],"support":[317],"construction":[319],"higherorder":[321],"define":[325],"suitable":[327],"proving":[331],"they":[333],"are":[334],"compositional":[335],"fully":[337],"abstract":[338],"respect":[340],"classical":[343],"operations":[344],"defined":[345],"over":[346],"modules.":[347]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2016-06-24T00:00:00"}