{"id":"https://openalex.org/W2018351319","doi":"https://doi.org/10.1109/lics.2004.1319622","title":"The sensible graph theories of lambda calculus","display_name":"The sensible graph theories of lambda calculus","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W2018351319","doi":"https://doi.org/10.1109/lics.2004.1319622","mag":"2018351319"},"language":"en","primary_location":{"id":"doi:10.1109/lics.2004.1319622","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2004.1319622","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.","raw_type":"proceedings-article"},"type":"preprint","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/A5109957642","display_name":"Antonio Bucciarelli","orcid":null},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I4210139011","display_name":"Laboratory Preuves, Programmes et Syst\u00e8mes","ror":"https://ror.org/046p9e825","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I204730241","https://openalex.org/I4210139011","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"A. Bucciarelli","raw_affiliation_strings":["Equipe PPS, Universit\u00e9 Paris 7, Paris, France","PPS - Preuves, Programmes et Syst\u00e8mes (Universit\u00e9 Paris Diderot, B\u00e2t. Sophie Germain, case postale 7014, 75205 Paris Cedex 13 - France)"],"affiliations":[{"raw_affiliation_string":"Equipe PPS, Universit\u00e9 Paris 7, Paris, France","institution_ids":["https://openalex.org/I204730241"]},{"raw_affiliation_string":"PPS - Preuves, Programmes et Syst\u00e8mes (Universit\u00e9 Paris Diderot, B\u00e2t. Sophie Germain, case postale 7014, 75205 Paris Cedex 13 - France)","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I4210139011"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064465385","display_name":"Antonino Salibra","orcid":"https://orcid.org/0000-0001-6552-2561"},"institutions":[{"id":"https://openalex.org/I4210108802","display_name":"Gestione Sistemi per l\u2019Informatica (Italy)","ror":"https://ror.org/01gyw2394","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210108802"]},{"id":"https://openalex.org/I149461666","display_name":"Ca' Foscari University of Venice","ror":"https://ror.org/04yzxz566","country_code":"IT","type":"education","lineage":["https://openalex.org/I149461666"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"A. Salibra","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 Ca Foscari di Venezia, Venezia, Italy","Dipartimento di Informatica (Italy)"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 Ca Foscari di Venezia, Venezia, Italy","institution_ids":["https://openalex.org/I149461666"]},{"raw_affiliation_string":"Dipartimento di Informatica (Italy)","institution_ids":["https://openalex.org/I4210108802"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5109957642"],"corresponding_institution_ids":["https://openalex.org/I204730241","https://openalex.org/I4210139011"],"apc_list":null,"apc_paid":null,"fwci":2.8114,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.91028412,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"664","issue":null,"first_page":"276","last_page":"285"},"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.9984999895095825,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9894000291824341,"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","display_name":"Lambda","score":0.5837917923927307},{"id":"https://openalex.org/keywords/typed-lambda-calculus","display_name":"Typed lambda calculus","score":0.5835014581680298},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.541744589805603},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.533227264881134},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.5232138633728027},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.502016544342041},{"id":"https://openalex.org/keywords/simply-typed-lambda-calculus","display_name":"Simply typed lambda calculus","score":0.4287341237068176},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3686884641647339},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33165687322616577},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.30743640661239624},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21218454837799072},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.11136597394943237},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.0823165774345398}],"concepts":[{"id":"https://openalex.org/C2778113609","wikidata":"https://www.wikidata.org/wiki/Q10897","display_name":"Lambda","level":2,"score":0.5837917923927307},{"id":"https://openalex.org/C142156749","wikidata":"https://www.wikidata.org/wiki/Q2607208","display_name":"Typed lambda calculus","level":3,"score":0.5835014581680298},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.541744589805603},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.533227264881134},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.5232138633728027},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.502016544342041},{"id":"https://openalex.org/C61237538","wikidata":"https://www.wikidata.org/wiki/Q855192","display_name":"Simply typed lambda calculus","level":4,"score":0.4287341237068176},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3686884641647339},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33165687322616577},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30743640661239624},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21218454837799072},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.11136597394943237},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0823165774345398},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/lics.2004.1319622","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2004.1319622","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.158.3062","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.3062","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dsi.unive.it/~salibra/TrueHome/Papers/LICS2004.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-00149558v1","is_oa":false,"landing_page_url":"https://hal.science/hal-00149558","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logic in Computer Science, 2004, Turku, Finland. pp.276-285","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4300000071525574,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W128738456","https://openalex.org/W1490461333","https://openalex.org/W1530168704","https://openalex.org/W1549233863","https://openalex.org/W1585277395","https://openalex.org/W1730763053","https://openalex.org/W1967121513","https://openalex.org/W1970227944","https://openalex.org/W1974315746","https://openalex.org/W1991093042","https://openalex.org/W2012072162","https://openalex.org/W2066155850","https://openalex.org/W2066974910","https://openalex.org/W2070032247","https://openalex.org/W2074026916","https://openalex.org/W2085670481","https://openalex.org/W2098938409","https://openalex.org/W2119310054","https://openalex.org/W2122181022","https://openalex.org/W2139772363","https://openalex.org/W2154273644","https://openalex.org/W2166449267","https://openalex.org/W2516185740","https://openalex.org/W2764786511","https://openalex.org/W6653237437","https://openalex.org/W6824895264"],"related_works":["https://openalex.org/W3123171335","https://openalex.org/W2153353244","https://openalex.org/W3146610348","https://openalex.org/W2761902706","https://openalex.org/W2754782259","https://openalex.org/W21537352","https://openalex.org/W1556872910","https://openalex.org/W4294236610","https://openalex.org/W1595139175","https://openalex.org/W2189323991"],"abstract_inverted_index":{"Sensible":[0],"/spl":[1,16,44,71,143,164,224],"lambda/-theories":[2],"are":[3,19],"equational":[4,38,216],"extensions":[5],"of":[6,62,90,96,113,126,155,179,186,189,211,241],"the":[7,14,41,51,88,102,123,127,131,137,146,156,160,180,184,209,220,238],"untyped":[8],"lambda":[9,28,91,222],"calculus":[10,29,92],"that":[11,101,158],"equate":[12],"all":[13,50,159],"unsolvable":[15,52],"lambda/-terms":[17,144],"and":[18,68],"closed":[20],"under":[21],"derivation.":[22],"A":[23,54],"longstanding":[24],"open":[25],"problem":[26],"in":[27,94,122,172,196,204,233],"is":[30,40,57,117,152,218],"whether":[31],"there":[32,64],"exists":[33],"a":[34,60,66,81,114,153,187,212],"non-syntactic":[35],"model":[36,214],"whose":[37,215],"theory":[39,135,217,223],"least":[42,103],"sensible":[43,70,104,133,174,191],"lambda/-theory":[45,72,112],"H":[46],"(generated":[47],"by":[48,74,141],"equating":[49,142],"terms).":[53],"related":[55],"question":[56,86,202],"whether,":[58],"given":[59,93],"class":[61,240],"models,":[63],"exist":[65],"minimal":[67,221],"maximal":[69],"represented":[73],"it.":[75],"In":[76],"This":[77,150],"work":[78],"we":[79,129],"give":[80],"positive":[82],"answer":[83],"to":[84,119],"this":[85],"for":[87,237],"semantics":[89],"terms":[95],"graph":[97,105,115,134,175,192,213,242],"models.":[98],"We":[99],"conjecture":[100],"theory,":[106],"where":[107],"\"graph":[108],"theory\"":[109],"means":[110],"\"/spl":[111],"model\",":[116],"equal":[118],"H,":[120],"while":[121],"main":[124],"result":[125,151,199,228],"paper":[128,181],"characterize":[130],"greatest":[132],"as":[136],"lambda;-theory":[138],"B":[139,197],"generated":[140],"with":[145],"same":[147],"Bohm":[148,169],"tree.":[149],"consequence":[154],"fact":[157],"equations":[161],"between":[162],"solvable":[163],"lambda/-terms,":[165],"which":[166],"have":[167],"different":[168,190],"trees,":[170],"fail":[171],"every":[173],"model.":[176],"Further":[177],"results":[178],"are:":[182],"(i)":[183],"existence":[185],"continuum":[188],"theories":[193],"strictly":[194],"included":[195],"(this":[198,227],"positively":[200],"answers":[201,230],"2":[203],"[7,":[205,234],"Section":[206,235],"6.3]);":[207],"(ii)":[208],"non-existence":[210],"exactly":[219],"lambda//spl":[225],"beta/":[226],"negatively":[229],"Question":[231],"1":[232],"6.2]":[236],"restricted":[239],"models).":[243]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-03-17T09:09:15.849793","created_date":"2025-10-10T00:00:00"}