Matches in SemOpenAlex for { <https://semopenalex.org/work/W4242523461> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W4242523461 abstract "Sensible /spl lambda/-theories are equational extensions of the untyped lambda calculus that equate all the unsolvable /spl lambda/-terms and are closed under derivation. A longstanding open problem in lambda calculus is whether there exists a non-syntactic model whose equational theory is the least sensible /spl lambda/-theory H (generated by equating all the unsolvable terms). A related question is whether, given a class of models, there exist a minimal and maximal sensible /spl lambda/-theory represented by it. In This work we give a positive answer to this question for the semantics of lambda calculus given in terms of graph models. We conjecture that the least sensible graph theory, where graph theory means /spl lambda/-theory of a graph model, is equal to H, while in the main result of the paper we characterize the greatest sensible graph theory as the lambda;-theory B generated by equating /spl lambda/-terms with the same Bohm tree. This result is a consequence of the fact that all the equations between solvable /spl lambda/-terms, which have different Bohm trees, fail in every sensible graph model. Further results of the paper are: (i) the existence of a continuum of different sensible graph theories strictly included in B (this result positively answers question 2 in [7, Section 6.3]); (ii) the non-existence of a graph model whose equational theory is exactly the minimal lambda theory /spl lambda//spl beta/ (this result negatively answers Question 1 in [7, Section 6.2] for the restricted class of graph models)." @default.
- W4242523461 created "2022-05-12" @default.
- W4242523461 creator A5058911479 @default.
- W4242523461 creator A5064465385 @default.
- W4242523461 date "2004-01-01" @default.
- W4242523461 modified "2023-10-02" @default.
- W4242523461 title "The sensible graph theories of lambda calculus" @default.
- W4242523461 cites W128738456 @default.
- W4242523461 cites W1490461333 @default.
- W4242523461 cites W1967121513 @default.
- W4242523461 cites W1970227944 @default.
- W4242523461 cites W1974315746 @default.
- W4242523461 cites W1991093042 @default.
- W4242523461 cites W2066155850 @default.
- W4242523461 cites W2066974910 @default.
- W4242523461 cites W2070032247 @default.
- W4242523461 cites W2074026916 @default.
- W4242523461 cites W2085670481 @default.
- W4242523461 cites W2098938409 @default.
- W4242523461 cites W2119310054 @default.
- W4242523461 cites W2122181022 @default.
- W4242523461 cites W2139772363 @default.
- W4242523461 cites W2516185740 @default.
- W4242523461 cites W2764786511 @default.
- W4242523461 doi "https://doi.org/10.1109/lics.2004.1319622" @default.
- W4242523461 hasPublicationYear "2004" @default.
- W4242523461 type Work @default.
- W4242523461 citedByCount "1" @default.
- W4242523461 countsByYear W42425234612020 @default.
- W4242523461 crossrefType "proceedings-article" @default.
- W4242523461 hasAuthorship W4242523461A5058911479 @default.
- W4242523461 hasAuthorship W4242523461A5064465385 @default.
- W4242523461 hasBestOaLocation W42425234612 @default.
- W4242523461 hasConcept C101266164 @default.
- W4242523461 hasConcept C105795698 @default.
- W4242523461 hasConcept C106347477 @default.
- W4242523461 hasConcept C114614502 @default.
- W4242523461 hasConcept C118615104 @default.
- W4242523461 hasConcept C120665830 @default.
- W4242523461 hasConcept C121332964 @default.
- W4242523461 hasConcept C132525143 @default.
- W4242523461 hasConcept C135790938 @default.
- W4242523461 hasConcept C136119220 @default.
- W4242523461 hasConcept C142156749 @default.
- W4242523461 hasConcept C199343813 @default.
- W4242523461 hasConcept C202444582 @default.
- W4242523461 hasConcept C2777686260 @default.
- W4242523461 hasConcept C2778113609 @default.
- W4242523461 hasConcept C33923547 @default.
- W4242523461 hasConcept C61237538 @default.
- W4242523461 hasConcept C71924100 @default.
- W4242523461 hasConceptScore W4242523461C101266164 @default.
- W4242523461 hasConceptScore W4242523461C105795698 @default.
- W4242523461 hasConceptScore W4242523461C106347477 @default.
- W4242523461 hasConceptScore W4242523461C114614502 @default.
- W4242523461 hasConceptScore W4242523461C118615104 @default.
- W4242523461 hasConceptScore W4242523461C120665830 @default.
- W4242523461 hasConceptScore W4242523461C121332964 @default.
- W4242523461 hasConceptScore W4242523461C132525143 @default.
- W4242523461 hasConceptScore W4242523461C135790938 @default.
- W4242523461 hasConceptScore W4242523461C136119220 @default.
- W4242523461 hasConceptScore W4242523461C142156749 @default.
- W4242523461 hasConceptScore W4242523461C199343813 @default.
- W4242523461 hasConceptScore W4242523461C202444582 @default.
- W4242523461 hasConceptScore W4242523461C2777686260 @default.
- W4242523461 hasConceptScore W4242523461C2778113609 @default.
- W4242523461 hasConceptScore W4242523461C33923547 @default.
- W4242523461 hasConceptScore W4242523461C61237538 @default.
- W4242523461 hasConceptScore W4242523461C71924100 @default.
- W4242523461 hasLocation W42425234611 @default.
- W4242523461 hasLocation W42425234612 @default.
- W4242523461 hasLocation W42425234613 @default.
- W4242523461 hasLocation W42425234614 @default.
- W4242523461 hasLocation W42425234615 @default.
- W4242523461 hasOpenAccess W4242523461 @default.
- W4242523461 hasPrimaryLocation W42425234611 @default.
- W4242523461 hasRelatedWork W1595139175 @default.
- W4242523461 hasRelatedWork W1633106243 @default.
- W4242523461 hasRelatedWork W1915655540 @default.
- W4242523461 hasRelatedWork W2101274322 @default.
- W4242523461 hasRelatedWork W2114151019 @default.
- W4242523461 hasRelatedWork W2269461476 @default.
- W4242523461 hasRelatedWork W2373977992 @default.
- W4242523461 hasRelatedWork W62459810 @default.
- W4242523461 hasRelatedWork W813931767 @default.
- W4242523461 hasRelatedWork W2785405191 @default.
- W4242523461 isParatext "false" @default.
- W4242523461 isRetracted "false" @default.
- W4242523461 workType "article" @default.