Matches in SemOpenAlex for { <https://semopenalex.org/work/W2042043178> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2042043178 endingPage "125" @default.
- W2042043178 startingPage "121" @default.
- W2042043178 abstract "We provide a precise characterization of the strictness properties of the untyped lambda-calculus. Using the notion of head evaluation to model lazy evaluation, we give a definition of strictness appropriate for the lambda-calculus. We establish that strictness is a necessary and sufficient condition for the ‘eager’ evaluation of function arguments. We describe an algorithm for computing strictness properties of convergent terms. We show that the natural classification of if–then–else as strict in its first and, jointly, strict in its second and third arguments is possible only in an applied lambda-calculus that either includes constants or has some form of type structure." @default.
- W2042043178 created "2016-06-24" @default.
- W2042043178 creator A5000714311 @default.
- W2042043178 date "1988-07-01" @default.
- W2042043178 modified "2023-09-27" @default.
- W2042043178 title "Strictness analysis of the untyped λ-calculus" @default.
- W2042043178 cites W1512248102 @default.
- W2042043178 cites W1604342352 @default.
- W2042043178 cites W1998702072 @default.
- W2042043178 cites W2064596811 @default.
- W2042043178 cites W2071457257 @default.
- W2042043178 cites W2154273644 @default.
- W2042043178 cites W2160453029 @default.
- W2042043178 cites W2184268586 @default.
- W2042043178 cites W2484162979 @default.
- W2042043178 cites W1730674659 @default.
- W2042043178 cites W8302212 @default.
- W2042043178 doi "https://doi.org/10.1016/0020-0190(88)90156-1" @default.
- W2042043178 hasPublicationYear "1988" @default.
- W2042043178 type Work @default.
- W2042043178 sameAs 2042043178 @default.
- W2042043178 citedByCount "2" @default.
- W2042043178 crossrefType "journal-article" @default.
- W2042043178 hasAuthorship W2042043178A5000714311 @default.
- W2042043178 hasConcept C11413529 @default.
- W2042043178 hasConcept C118615104 @default.
- W2042043178 hasConcept C128099668 @default.
- W2042043178 hasConcept C135790938 @default.
- W2042043178 hasConcept C14036430 @default.
- W2042043178 hasConcept C142156749 @default.
- W2042043178 hasConcept C199343813 @default.
- W2042043178 hasConcept C199360897 @default.
- W2042043178 hasConcept C2777686260 @default.
- W2042043178 hasConcept C33923547 @default.
- W2042043178 hasConcept C41008148 @default.
- W2042043178 hasConcept C42383842 @default.
- W2042043178 hasConcept C61237538 @default.
- W2042043178 hasConcept C71924100 @default.
- W2042043178 hasConcept C77736955 @default.
- W2042043178 hasConcept C78458016 @default.
- W2042043178 hasConcept C86803240 @default.
- W2042043178 hasConceptScore W2042043178C11413529 @default.
- W2042043178 hasConceptScore W2042043178C118615104 @default.
- W2042043178 hasConceptScore W2042043178C128099668 @default.
- W2042043178 hasConceptScore W2042043178C135790938 @default.
- W2042043178 hasConceptScore W2042043178C14036430 @default.
- W2042043178 hasConceptScore W2042043178C142156749 @default.
- W2042043178 hasConceptScore W2042043178C199343813 @default.
- W2042043178 hasConceptScore W2042043178C199360897 @default.
- W2042043178 hasConceptScore W2042043178C2777686260 @default.
- W2042043178 hasConceptScore W2042043178C33923547 @default.
- W2042043178 hasConceptScore W2042043178C41008148 @default.
- W2042043178 hasConceptScore W2042043178C42383842 @default.
- W2042043178 hasConceptScore W2042043178C61237538 @default.
- W2042043178 hasConceptScore W2042043178C71924100 @default.
- W2042043178 hasConceptScore W2042043178C77736955 @default.
- W2042043178 hasConceptScore W2042043178C78458016 @default.
- W2042043178 hasConceptScore W2042043178C86803240 @default.
- W2042043178 hasIssue "3" @default.
- W2042043178 hasLocation W20420431781 @default.
- W2042043178 hasOpenAccess W2042043178 @default.
- W2042043178 hasPrimaryLocation W20420431781 @default.
- W2042043178 hasRelatedWork W1541150383 @default.
- W2042043178 hasRelatedWork W1595139175 @default.
- W2042043178 hasRelatedWork W1603995370 @default.
- W2042043178 hasRelatedWork W2042043178 @default.
- W2042043178 hasRelatedWork W2114151019 @default.
- W2042043178 hasRelatedWork W2189323991 @default.
- W2042043178 hasRelatedWork W236003875 @default.
- W2042043178 hasRelatedWork W4281982925 @default.
- W2042043178 hasRelatedWork W811489916 @default.
- W2042043178 hasRelatedWork W2761902706 @default.
- W2042043178 hasVolume "28" @default.
- W2042043178 isParatext "false" @default.
- W2042043178 isRetracted "false" @default.
- W2042043178 magId "2042043178" @default.
- W2042043178 workType "article" @default.