{"id":"https://openalex.org/W2216922462","doi":"https://doi.org/10.2168/lmcs-11(3:25)2015","title":"Ellipses and Lambda Definability","display_name":"Ellipses and Lambda Definability","publication_year":2015,"publication_date":"2015-10-01","ids":{"openalex":"https://openalex.org/W2216922462","doi":"https://doi.org/10.2168/lmcs-11(3:25)2015","mag":"2216922462"},"language":"en","primary_location":{"id":"doi:10.2168/lmcs-11(3:25)2015","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-11(3:25)2015","pdf_url":"https://lmcs.episciences.org/1601/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/1601/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020949139","display_name":"Mayer Goldberg","orcid":null},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Mayer Goldberg","raw_affiliation_strings":["Department of Computer Science, Ben-Gurion University, Beer Sheva 8410501, Israel"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Ben-Gurion University, Beer Sheva 8410501, Israel","institution_ids":["https://openalex.org/I124227911"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5020949139"],"corresponding_institution_ids":["https://openalex.org/I124227911"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0735269,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 11, Issue 3","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.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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9923999905586243,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9891999959945679,"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/arity","display_name":"Arity","score":0.9801106452941895},{"id":"https://openalex.org/keywords/fixed-point","display_name":"Fixed point","score":0.5854231119155884},{"id":"https://openalex.org/keywords/combinatory-logic","display_name":"Combinatory logic","score":0.5835709571838379},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5748260021209717},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.5693361759185791},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.5352896451950073},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.49333444237709045},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.41613635420799255},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.35981523990631104},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32870471477508545},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2264643907546997},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14154377579689026}],"concepts":[{"id":"https://openalex.org/C110546421","wikidata":"https://www.wikidata.org/wiki/Q1315869","display_name":"Arity","level":2,"score":0.9801106452941895},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.5854231119155884},{"id":"https://openalex.org/C79678938","wikidata":"https://www.wikidata.org/wiki/Q1481571","display_name":"Combinatory logic","level":2,"score":0.5835709571838379},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5748260021209717},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5693361759185791},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.5352896451950073},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.49333444237709045},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.41613635420799255},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35981523990631104},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32870471477508545},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2264643907546997},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14154377579689026},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.2168/lmcs-11(3:25)2015","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-11(3:25)2015","pdf_url":"https://lmcs.episciences.org/1601/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1508.02864","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1508.02864","pdf_url":"https://arxiv.org/pdf/1508.02864","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:4516697619ac4bceac80dc8003cbcf0d","is_oa":true,"landing_page_url":"https://doaj.org/article/4516697619ac4bceac80dc8003cbcf0d","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 11, Issue 3 (2015)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.2168/lmcs-11(3:25)2015","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-11(3:25)2015","pdf_url":"https://lmcs.episciences.org/1601/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2216922462.pdf"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W206348627","https://openalex.org/W647596361","https://openalex.org/W1483568252","https://openalex.org/W1514058369","https://openalex.org/W1522809628","https://openalex.org/W1594912681","https://openalex.org/W1596606218","https://openalex.org/W1602259455","https://openalex.org/W1842410071","https://openalex.org/W1971509082","https://openalex.org/W2014251051","https://openalex.org/W2020580827","https://openalex.org/W2063068243","https://openalex.org/W2074769340","https://openalex.org/W2107219179","https://openalex.org/W2121105821","https://openalex.org/W2127382014","https://openalex.org/W2139138304","https://openalex.org/W2150895128","https://openalex.org/W2154273644","https://openalex.org/W2325612495","https://openalex.org/W2326697462","https://openalex.org/W2329766482","https://openalex.org/W3157787941","https://openalex.org/W4234660362","https://openalex.org/W4239610423","https://openalex.org/W4246081148","https://openalex.org/W4301880108"],"related_works":["https://openalex.org/W46644190","https://openalex.org/W2026765907","https://openalex.org/W4307413753","https://openalex.org/W4235947164","https://openalex.org/W2962066539","https://openalex.org/W4250882027","https://openalex.org/W2056906662","https://openalex.org/W3206495743","https://openalex.org/W1482507836","https://openalex.org/W2126507302"],"abstract_inverted_index":{"Ellipses":[0],"are":[1,12,42,46,68,99,174,189],"a":[2,15,28,177],"meta-linguistic":[3],"notation":[4],"for":[5,31,61,127,135,165,225],"denoting":[6],"terms":[7],"the":[8,20,36,65,76,80,89,128,156,161],"size":[9],"of":[10,64,93,103,115,130,151,195],"which":[11,104],"specified":[13],"by":[14,44,70,107,158,163,176,191],"meta-variable":[16],"that":[17,41,121,184,209],"ranges":[18],"over":[19,51,216],"natural":[21],"numbers.":[22],"In":[23],"this":[24,201],"work,":[25],"we":[26],"present":[27],"systematic":[29],"approach":[30,202],"encoding":[32],"such":[33,56],"meta-expressions":[34],"in":[35],"\\^I-calculus,":[37],"without":[38],"ellipses:":[39],"Terms":[40],"parameterized":[43],"meta-variables":[45],"replaced":[47],"with":[48,206],"corresponding":[49,77],"\\^I-abstractions":[50],"actual":[52],"variables.":[53],"We":[54,144,182,198],"call":[55],"\\^I-terms":[57,98,208],"arity-generic.":[58],"Concrete":[59],"terms,":[60],"particular":[62],"choices":[63],"parameterizing":[66],"variable":[67],"obtained":[69],"applying":[71],"an":[72,192,222],"arity-generic":[73,119,149,187,193,204,223],"\\^I-term":[74],"to":[75,82,87,147,180,203],"numeral,":[78],"obviating":[79],"need":[81],"use":[83],"ellipses.":[84,116],"For":[85],"example,":[86],"find":[88],"multiple":[90,141,167],"fixed":[91,168],"points":[92],"n":[94,96],"equations,":[95,132],"different":[97],"needed,":[100],"every":[101],"one":[102,126,134],"is":[105],"indexed":[106],"two":[108,123,152],"meta-variables,":[109],"and":[110,133,160,214],"defined":[111],"using":[112],"three":[113],"levels":[114],"A":[117],"single":[118],"\\^I-abstraction":[120],"takes":[122],"Church":[124],"numerals,":[125],"number":[129],"fixed-point":[131,142,154,172],"their":[136,186],"arity,":[137],"replaces":[138],"all":[139],"these":[140],"combinators.":[143],"show":[145,183],"how":[146],"define":[148],"generalizations":[150,188],"historical":[153,171],"combinators,":[155],"first":[157],"Curry,":[159],"second":[162],"Turing,":[164],"defining":[166],"points.":[169],"These":[170],"combinators":[173],"related":[175,190],"construction":[178],"due":[179],"B\\~Ahm:":[181],"likewise,":[185],"generalization":[194],"B\\~Ahm's":[196],"construction.":[197],"further":[199],"demonstrate":[200],"\\^I-definability":[205],"additional":[207],"create,":[210],"project,":[211],"extend,":[212],"reverse,":[213],"map":[215],"ordered":[217],"n-tuples,":[218],"as":[219,221],"well":[220],"generator":[224],"one-point":[226],"bases.":[227]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}