{"id":"https://openalex.org/W2914037264","doi":"https://doi.org/10.1145/2966268","title":"Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice","display_name":"Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice","publication_year":2016,"publication_date":"2016-06-23","ids":{"openalex":"https://openalex.org/W2914037264","doi":"https://doi.org/10.1145/2966268","mag":"2914037264"},"language":"en","primary_location":{"id":"doi:10.1145/2966268","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2966268","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://repositorio.inesctec.pt/handle/123456789/5231","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Dowek,G","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Dowek,G","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Licata,DR","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Licata,DR","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Sandra Alves","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sandra Alves","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9828000068664551,"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.9828000068664551,"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.9610000252723694,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9154000282287598,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/recursion","display_name":"Recursion (computer science)","score":0.6979894042015076},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6905654072761536},{"id":"https://openalex.org/keywords/normalization","display_name":"Normalization (sociology)","score":0.6518521308898926},{"id":"https://openalex.org/keywords/typed-lambda-calculus","display_name":"Typed lambda calculus","score":0.6430637836456299},{"id":"https://openalex.org/keywords/eleventh","display_name":"Eleventh","score":0.58298659324646},{"id":"https://openalex.org/keywords/encode","display_name":"ENCODE","score":0.5618100166320801},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.5294066667556763},{"id":"https://openalex.org/keywords/logical-framework","display_name":"Logical framework","score":0.5142242908477783},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4796198308467865},{"id":"https://openalex.org/keywords/simply-typed-lambda-calculus","display_name":"Simply typed lambda calculus","score":0.4709744453430176},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.45851680636405945},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.43607670068740845},{"id":"https://openalex.org/keywords/recursive-functions","display_name":"Recursive functions","score":0.42246323823928833},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3949775993824005},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3703990578651428},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2901619076728821},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.22440963983535767},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.1636338233947754}],"concepts":[{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.6979894042015076},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6905654072761536},{"id":"https://openalex.org/C136886441","wikidata":"https://www.wikidata.org/wiki/Q926129","display_name":"Normalization (sociology)","level":2,"score":0.6518521308898926},{"id":"https://openalex.org/C142156749","wikidata":"https://www.wikidata.org/wiki/Q2607208","display_name":"Typed lambda calculus","level":3,"score":0.6430637836456299},{"id":"https://openalex.org/C2779796141","wikidata":"https://www.wikidata.org/wiki/Q1930430","display_name":"Eleventh","level":2,"score":0.58298659324646},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.5618100166320801},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.5294066667556763},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.5142242908477783},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4796198308467865},{"id":"https://openalex.org/C61237538","wikidata":"https://www.wikidata.org/wiki/Q855192","display_name":"Simply typed lambda calculus","level":4,"score":0.4709744453430176},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.45851680636405945},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.43607670068740845},{"id":"https://openalex.org/C2982939207","wikidata":"https://www.wikidata.org/wiki/Q1175101","display_name":"Recursive functions","level":2,"score":0.42246323823928833},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3949775993824005},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3703990578651428},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2901619076728821},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.22440963983535767},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.1636338233947754},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","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/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C19165224","wikidata":"https://www.wikidata.org/wiki/Q23404","display_name":"Anthropology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2966268","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2966268","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},{"id":"pmh:oai:repositorio.inesctec.pt:123456789/5231","is_oa":true,"landing_page_url":"http://repositorio.inesctec.pt/handle/123456789/5231","pdf_url":"http://repositorio.inesctec.pt/handle/123456789/5231","source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"other"}],"best_oa_location":{"id":"pmh:oai:repositorio.inesctec.pt:123456789/5231","is_oa":true,"landing_page_url":"http://repositorio.inesctec.pt/handle/123456789/5231","pdf_url":"http://repositorio.inesctec.pt/handle/123456789/5231","source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"other"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.4399999976158142,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2914037264.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3123171335","https://openalex.org/W2153353244","https://openalex.org/W2761902706","https://openalex.org/W21537352","https://openalex.org/W1595139175","https://openalex.org/W4294236610","https://openalex.org/W1983748102","https://openalex.org/W4205386752","https://openalex.org/W2189323991","https://openalex.org/W2034079595"],"abstract_inverted_index":{"We":[0],"consider":[1],"the":[2,36],"normalization":[3],"proof":[4,34],"for":[5],"a":[6],"simply-typed":[7],"lambda":[8],"calculus":[9],"with":[10],"Mendler-style":[11],"recursion":[12],"using":[13,26],"logical":[14],"relations.":[15],"This":[16],"language":[17],"is":[18,35],"powerful":[19],"enough":[20],"to":[21],"encode":[22],"total":[23],"recursive":[24,27],"functions":[25],"types.":[28],"A":[29],"key":[30],"feature":[31],"of":[32],"our":[33],"...":[37]},"counts_by_year":[],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2019-02-21T00:00:00"}