{"id":"https://openalex.org/W1982896380","doi":"https://doi.org/10.2307/2274655","title":"Some improvements to Turner's algorithm for bracket abstraction","display_name":"Some improvements to Turner's algorithm for bracket abstraction","publication_year":1990,"publication_date":"1990-06-01","ids":{"openalex":"https://openalex.org/W1982896380","doi":"https://doi.org/10.2307/2274655","mag":"1982896380"},"language":"en","primary_location":{"id":"doi:10.2307/2274655","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274655","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://figshare.com/articles/journal_contribution/Some_improvements_to_Turner_s_algorithm_for_bracket_abstraction/27712722","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038043998","display_name":"M. W. Bunder","orcid":null},"institutions":[{"id":"https://openalex.org/I204824540","display_name":"University of Wollongong","ror":"https://ror.org/00jtmb277","country_code":"AU","type":"education","lineage":["https://openalex.org/I204824540"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"M. W. Bunder","raw_affiliation_strings":["Faculty of Mathematical Sciences, University of Wollongong, Wollongong, New South Wales 2500, Australia","University of Wollongong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Mathematical Sciences, University of Wollongong, Wollongong, New South Wales 2500, Australia","institution_ids":["https://openalex.org/I204824540"]},{"raw_affiliation_string":"University of Wollongong","institution_ids":["https://openalex.org/I204824540"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5038043998"],"corresponding_institution_ids":["https://openalex.org/I204824540"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.11113884,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"55","issue":"2","first_page":"656","last_page":"669"},"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.9998999834060669,"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.9998999834060669,"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.9965999722480774,"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/T11567","display_name":"semigroups and automata theory","score":0.9962000250816345,"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/combinatory-logic","display_name":"Combinatory logic","score":0.9886916875839233},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7154006958007812},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6478989124298096},{"id":"https://openalex.org/keywords/curry","display_name":"Curry","score":0.6379042267799377},{"id":"https://openalex.org/keywords/bracket","display_name":"Bracket","score":0.5707409381866455},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5188242793083191},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.512526273727417},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37683093547821045},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36035603284835815},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.32870492339134216}],"concepts":[{"id":"https://openalex.org/C79678938","wikidata":"https://www.wikidata.org/wiki/Q1481571","display_name":"Combinatory logic","level":2,"score":0.9886916875839233},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7154006958007812},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6478989124298096},{"id":"https://openalex.org/C2781029818","wikidata":"https://www.wikidata.org/wiki/Q2368856","display_name":"Curry","level":2,"score":0.6379042267799377},{"id":"https://openalex.org/C133769200","wikidata":"https://www.wikidata.org/wiki/Q174565","display_name":"Bracket","level":2,"score":0.5707409381866455},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5188242793083191},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.512526273727417},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37683093547821045},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36035603284835815},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.32870492339134216},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.2307/2274655","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274655","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:ro.uow.edu.au:eispapers-2971","is_oa":false,"landing_page_url":"https://ro.uow.edu.au/eispapers/1962","pdf_url":null,"source":{"id":"https://openalex.org/S4306400510","display_name":"Research Online (University of Wollongong)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I204824540","host_organization_name":"University of Wollongong","host_organization_lineage":["https://openalex.org/I204824540"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Faculty of Engineering and Information Sciences - Papers: Part A","raw_type":"article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183743322","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183743322","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"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":"","raw_type":"Text"},{"id":"pmh:oai:figshare.com:article/27712722","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Some_improvements_to_Turner_s_algorithm_for_bracket_abstraction/27712722","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"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"}],"best_oa_location":{"id":"pmh:oai:figshare.com:article/27712722","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Some_improvements_to_Turner_s_algorithm_for_bracket_abstraction/27712722","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W159082583","https://openalex.org/W1514119099","https://openalex.org/W1543641760","https://openalex.org/W1574818228","https://openalex.org/W1970748964","https://openalex.org/W1971509082","https://openalex.org/W2046024168","https://openalex.org/W2073612321","https://openalex.org/W2074769340","https://openalex.org/W2179769525","https://openalex.org/W2478119368","https://openalex.org/W2912512531"],"related_works":["https://openalex.org/W1536504689","https://openalex.org/W1533780942","https://openalex.org/W1486947786","https://openalex.org/W1976925214","https://openalex.org/W1517707660","https://openalex.org/W1571983596","https://openalex.org/W176405751","https://openalex.org/W2039196897","https://openalex.org/W4861723","https://openalex.org/W2135888537"],"abstract_inverted_index":{"A":[0,67,139,215],"computer":[1],"handles":[2],"\u03bb":[3,122],"-terms":[4],"more":[5],"easily":[6],"if":[7],"these":[8,61,128],"are":[9,56,131],"translated":[10],"into":[11],"combinatory":[12,39],"terms.":[13],"This":[14],"translation":[15],"process":[16,210],"is":[17,80,153,175],"called":[18],"bracket":[19,113],"abstraction.":[20],"The":[21,87,99,108],"simplest":[22],"abstraction":[23,114,209],"algorithm\u2014the":[24],"(fab)":[25,157],"algorithm":[26,76,158],"of":[27,49,71,89,101,105,112,115,127,172,183,233],"Curry":[28,30,135],"(see":[29],"and":[31,37,136,168,189,213],"Feys":[32,137],"[6])\u2014is":[33],"lengthy":[34],"to":[35,51,95,154,177,197,201,221],"implement":[36],"produces":[38],"terms":[40],"that":[41,78],"increase":[42],"rapidly":[43],"in":[44,59,69,74,119,134],"length":[45],"as":[46,82,224],"the":[47,72,75,156,208,219],"number":[48,104,232],"variables":[50,220],"be":[52,64,202,222],"abstracted":[53,223],"increases.":[54],"There":[55],"several":[57],"ways":[58],"which":[60,118],"problems":[62],"can":[63],"alleviated:":[65],"(1)":[66],"change":[68],"order":[70],"clauses":[73],"so":[77],"(f)":[79],"performed":[81],"a":[83,102,179,230],"last":[84],"resort.":[85],"(2)":[86],"use":[88,155],"an":[90,225],"extra":[91,106,166],"clause":[92],"(c),":[93],"appropriate":[94],"\u03b2\u03b7":[96],"reduction.":[97],"(3)":[98],"introduction":[100],"finite":[103,231],"combinators.":[107],"original":[109],"1924":[110],"form":[111],"Sch\u00f6nfinkel":[116],"[17],":[117],"fact":[120],"predates":[121],"-calculus,":[123],"uses":[124],"all":[125,130],"three":[126],"techniques;":[129],"also":[132],"mentioned":[133],"[6].":[138],"technique":[140],"employed":[141],"by":[142,160,205],"many":[143],"computing":[144],"scientists":[145],"(Turner":[146],"[20],":[147],"Peyton":[148],"Jones":[149],"[16],":[150],"Oberhauser":[151],"[15])":[152],"followed":[159],"certain":[161],"\u201coptimizations\u201d":[162],"or":[163,196],"simplifications":[164],"involving":[165],"combinators":[167,185,200,234],"sometimes":[169],"special":[170],"cases":[171],"(c).":[173],"Another":[174],"either":[176],"allow":[178,198],"fixed":[180],"infinite":[181],"set":[182],"(super-)":[184],"(Abdali":[186],"[1],":[187],"Kennaway":[188],"Sleep":[190],"[10],":[191],"Krishnamurthy":[192],"[12],":[193],"Tonino":[194],"[19])":[195],"new":[199],"defined":[203],"one":[204,206],"during":[207],"(Hughes":[211],"[7]":[212],"[8]).":[214],"final":[216],"method":[217],"encodes":[218],"n":[226],"-tuple\u2014this":[227],"requires":[228],"only":[229],"(Curien":[235],"[5],":[236],"Statman":[237],"[18]).":[238]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}