Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022873112> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2022873112 endingPage "402" @default.
- W2022873112 startingPage "389" @default.
- W2022873112 abstract "We present a nondeterministic calculus of closures for the evaluation of λ-calculus, which is based, not on symbolic evaluation (β-reduction), but on the paradigm of environments and closures, as in the old SECD machine, or in the more recent Categorical Abstract Machine (CAM). This calculus stands as a suitable abstraction right above those devices: there is no commitment as to the order of evaluation, and no explicit handling of stacks: the calculus is expressed in the style of Structural Operational Semantics, by a set of conditional rewrite rules. The CAM, and a very simple lazy abstract machine, due to J.-L. Krivine, arise naturally by first restricting the calculus to a specific strategy, and then implementing recursive calls by a stack. The Church–Rosser property and termination in presence of types hold in the calculus of closures, and are easier to establish than in the λ-calculus. The calculus of closures has served as a starting point to a more powerful general calculus of substitutions at which we hint shortly, insisting on its category- theoretic significance." @default.
- W2022873112 created "2016-06-24" @default.
- W2022873112 creator A5064315130 @default.
- W2022873112 date "1991-05-01" @default.
- W2022873112 modified "2023-09-25" @default.
- W2022873112 title "An abstract framework for environment machines" @default.
- W2022873112 cites W1963658586 @default.
- W2022873112 cites W2088735483 @default.
- W2022873112 cites W2095553492 @default.
- W2022873112 cites W2113757735 @default.
- W2022873112 cites W2568721247 @default.
- W2022873112 doi "https://doi.org/10.1016/0304-3975(91)90230-y" @default.
- W2022873112 hasPublicationYear "1991" @default.
- W2022873112 type Work @default.
- W2022873112 sameAs 2022873112 @default.
- W2022873112 citedByCount "87" @default.
- W2022873112 countsByYear W20228731122012 @default.
- W2022873112 countsByYear W20228731122013 @default.
- W2022873112 countsByYear W20228731122014 @default.
- W2022873112 countsByYear W20228731122015 @default.
- W2022873112 countsByYear W20228731122017 @default.
- W2022873112 countsByYear W20228731122018 @default.
- W2022873112 countsByYear W20228731122019 @default.
- W2022873112 countsByYear W20228731122022 @default.
- W2022873112 crossrefType "journal-article" @default.
- W2022873112 hasAuthorship W2022873112A5064315130 @default.
- W2022873112 hasBestOaLocation W20228731121 @default.
- W2022873112 hasConcept C11413529 @default.
- W2022873112 hasConcept C135790938 @default.
- W2022873112 hasConcept C142156749 @default.
- W2022873112 hasConcept C161771561 @default.
- W2022873112 hasConcept C176181172 @default.
- W2022873112 hasConcept C199343813 @default.
- W2022873112 hasConcept C199360897 @default.
- W2022873112 hasConcept C22497172 @default.
- W2022873112 hasConcept C2777686260 @default.
- W2022873112 hasConcept C33923547 @default.
- W2022873112 hasConcept C41008148 @default.
- W2022873112 hasConcept C61237538 @default.
- W2022873112 hasConcept C62073222 @default.
- W2022873112 hasConcept C71924100 @default.
- W2022873112 hasConcept C80444323 @default.
- W2022873112 hasConcept C88977235 @default.
- W2022873112 hasConceptScore W2022873112C11413529 @default.
- W2022873112 hasConceptScore W2022873112C135790938 @default.
- W2022873112 hasConceptScore W2022873112C142156749 @default.
- W2022873112 hasConceptScore W2022873112C161771561 @default.
- W2022873112 hasConceptScore W2022873112C176181172 @default.
- W2022873112 hasConceptScore W2022873112C199343813 @default.
- W2022873112 hasConceptScore W2022873112C199360897 @default.
- W2022873112 hasConceptScore W2022873112C22497172 @default.
- W2022873112 hasConceptScore W2022873112C2777686260 @default.
- W2022873112 hasConceptScore W2022873112C33923547 @default.
- W2022873112 hasConceptScore W2022873112C41008148 @default.
- W2022873112 hasConceptScore W2022873112C61237538 @default.
- W2022873112 hasConceptScore W2022873112C62073222 @default.
- W2022873112 hasConceptScore W2022873112C71924100 @default.
- W2022873112 hasConceptScore W2022873112C80444323 @default.
- W2022873112 hasConceptScore W2022873112C88977235 @default.
- W2022873112 hasIssue "2" @default.
- W2022873112 hasLocation W20228731121 @default.
- W2022873112 hasOpenAccess W2022873112 @default.
- W2022873112 hasPrimaryLocation W20228731121 @default.
- W2022873112 hasRelatedWork W1556311577 @default.
- W2022873112 hasRelatedWork W1571094673 @default.
- W2022873112 hasRelatedWork W1600445775 @default.
- W2022873112 hasRelatedWork W1658537750 @default.
- W2022873112 hasRelatedWork W2022873112 @default.
- W2022873112 hasRelatedWork W2279839669 @default.
- W2022873112 hasRelatedWork W2469137997 @default.
- W2022873112 hasRelatedWork W2661990870 @default.
- W2022873112 hasRelatedWork W2752255348 @default.
- W2022873112 hasRelatedWork W2978914167 @default.
- W2022873112 hasVolume "82" @default.
- W2022873112 isParatext "false" @default.
- W2022873112 isRetracted "false" @default.
- W2022873112 magId "2022873112" @default.
- W2022873112 workType "article" @default.