Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890923807> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2890923807 abstract "The call-by-value lambda calculus can be endowed with permutation rules, arising from linear logic proof-nets, having the advantage of unblocking some redexes that otherwise get stuck during the reduction. We show that such an extension allows to define a satisfying notion of Bohm(-like) tree and a theory of program approximation in the call-by-value setting. We prove that all lambda terms having the same Bohm tree are observationally equivalent, and characterize those Bohm-like trees arising as actual Bohm trees of lambda terms. We also compare this approach with Ehrhard's theory of program approximation based on the Taylor expansion of lambda terms, translating each lambda term into a possibly infinite set of so-called resource terms. We provide sufficient and necessary conditions for a set of resource terms in order to be the Taylor expansion of a lambda term. Finally, we show that the normal form of the Taylor expansion of a lambda term can be computed by performing a normalized Taylor expansion of its Bohm tree. From this it follows that two lambda terms have the same Bohm tree if and only if the normal forms of their Taylor expansions coincide." @default.
- W2890923807 created "2018-09-27" @default.
- W2890923807 creator A5014578218 @default.
- W2890923807 creator A5058216930 @default.
- W2890923807 creator A5082671100 @default.
- W2890923807 date "2020-07-01" @default.
- W2890923807 modified "2023-10-14" @default.
- W2890923807 title "Revisiting Call-by-value Bohm trees in light of their Taylor expansion" @default.
- W2890923807 cites W1537995368 @default.
- W2890923807 cites W1581049135 @default.
- W2890923807 cites W1712407203 @default.
- W2890923807 cites W1764225652 @default.
- W2890923807 cites W1829093058 @default.
- W2890923807 cites W186525696 @default.
- W2890923807 cites W2007411063 @default.
- W2890923807 cites W2008868842 @default.
- W2890923807 cites W2048932540 @default.
- W2890923807 cites W2088376608 @default.
- W2890923807 cites W2088735483 @default.
- W2890923807 cites W2097311580 @default.
- W2890923807 cites W2158778600 @default.
- W2890923807 cites W2219116429 @default.
- W2890923807 cites W2277429673 @default.
- W2890923807 cites W2293486267 @default.
- W2890923807 cites W2313034173 @default.
- W2890923807 cites W2585237194 @default.
- W2890923807 cites W2981389078 @default.
- W2890923807 cites W3099269275 @default.
- W2890923807 cites W70544678 @default.
- W2890923807 doi "https://doi.org/10.23638/lmcs-16(3:6)2020" @default.
- W2890923807 hasPublicationYear "2020" @default.
- W2890923807 type Work @default.
- W2890923807 sameAs 2890923807 @default.
- W2890923807 citedByCount "0" @default.
- W2890923807 crossrefType "journal-article" @default.
- W2890923807 hasAuthorship W2890923807A5014578218 @default.
- W2890923807 hasAuthorship W2890923807A5058216930 @default.
- W2890923807 hasAuthorship W2890923807A5082671100 @default.
- W2890923807 hasBestOaLocation W28909238072 @default.
- W2890923807 hasConcept C113174947 @default.
- W2890923807 hasConcept C114614502 @default.
- W2890923807 hasConcept C118615104 @default.
- W2890923807 hasConcept C120665830 @default.
- W2890923807 hasConcept C121332964 @default.
- W2890923807 hasConcept C134306372 @default.
- W2890923807 hasConcept C158946198 @default.
- W2890923807 hasConcept C166541682 @default.
- W2890923807 hasConcept C192523876 @default.
- W2890923807 hasConcept C199343813 @default.
- W2890923807 hasConcept C199360897 @default.
- W2890923807 hasConcept C2777686260 @default.
- W2890923807 hasConcept C2778029271 @default.
- W2890923807 hasConcept C2778113609 @default.
- W2890923807 hasConcept C32211213 @default.
- W2890923807 hasConcept C33923547 @default.
- W2890923807 hasConcept C41008148 @default.
- W2890923807 hasConcept C62520636 @default.
- W2890923807 hasConcept C71924100 @default.
- W2890923807 hasConceptScore W2890923807C113174947 @default.
- W2890923807 hasConceptScore W2890923807C114614502 @default.
- W2890923807 hasConceptScore W2890923807C118615104 @default.
- W2890923807 hasConceptScore W2890923807C120665830 @default.
- W2890923807 hasConceptScore W2890923807C121332964 @default.
- W2890923807 hasConceptScore W2890923807C134306372 @default.
- W2890923807 hasConceptScore W2890923807C158946198 @default.
- W2890923807 hasConceptScore W2890923807C166541682 @default.
- W2890923807 hasConceptScore W2890923807C192523876 @default.
- W2890923807 hasConceptScore W2890923807C199343813 @default.
- W2890923807 hasConceptScore W2890923807C199360897 @default.
- W2890923807 hasConceptScore W2890923807C2777686260 @default.
- W2890923807 hasConceptScore W2890923807C2778029271 @default.
- W2890923807 hasConceptScore W2890923807C2778113609 @default.
- W2890923807 hasConceptScore W2890923807C32211213 @default.
- W2890923807 hasConceptScore W2890923807C33923547 @default.
- W2890923807 hasConceptScore W2890923807C41008148 @default.
- W2890923807 hasConceptScore W2890923807C62520636 @default.
- W2890923807 hasConceptScore W2890923807C71924100 @default.
- W2890923807 hasLocation W28909238071 @default.
- W2890923807 hasLocation W28909238072 @default.
- W2890923807 hasOpenAccess W2890923807 @default.
- W2890923807 hasPrimaryLocation W28909238071 @default.
- W2890923807 hasRelatedWork W2127014762 @default.
- W2890923807 hasRelatedWork W2322912512 @default.
- W2890923807 hasRelatedWork W2332950620 @default.
- W2890923807 hasRelatedWork W2354723699 @default.
- W2890923807 hasRelatedWork W272704648 @default.
- W2890923807 hasRelatedWork W2791326835 @default.
- W2890923807 hasRelatedWork W2952539738 @default.
- W2890923807 hasRelatedWork W4237591722 @default.
- W2890923807 hasRelatedWork W4246009503 @default.
- W2890923807 hasRelatedWork W4292734940 @default.
- W2890923807 isParatext "false" @default.
- W2890923807 isRetracted "false" @default.
- W2890923807 magId "2890923807" @default.
- W2890923807 workType "article" @default.