Matches in SemOpenAlex for { <https://semopenalex.org/work/W1988432838> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1988432838 endingPage "128" @default.
- W1988432838 startingPage "83" @default.
- W1988432838 abstract "The distinction between the conjunctive nature of non-determinism as opposed to the disjunctive character of parallelism constitutes the motivation and the starting point of the present work. λ-calculus is extended with both a non-deterministic choice and a parallel operator; a notion of reduction is introduced, extending β-reduction of the classical calculus. We study type assignment systems for this calculus, together with a denotational semantics which is initially defined constructing a set semimodel via simple types. We enrich the type system with intersection and union types, dually reflecting the disjunctive and conjunctive behaviour of the operators, and we build a filter model. The theory of this model is compared both with a Morris-style operational semantics and with a semantics based on a notion of capabilities." @default.
- W1988432838 created "2016-06-24" @default.
- W1988432838 creator A5020561481 @default.
- W1988432838 creator A5053585862 @default.
- W1988432838 creator A5077196285 @default.
- W1988432838 date "1996-12-15" @default.
- W1988432838 modified "2023-09-23" @default.
- W1988432838 title "Filter models for conjunctive-disjunctive λ-calculi" @default.
- W1988432838 cites W1586890499 @default.
- W1988432838 cites W1964383531 @default.
- W1988432838 cites W1970227944 @default.
- W1988432838 cites W1972921902 @default.
- W1988432838 cites W1976958863 @default.
- W1988432838 cites W1986227685 @default.
- W1988432838 cites W1990370351 @default.
- W1988432838 cites W2007270285 @default.
- W1988432838 cites W2013672985 @default.
- W1988432838 cites W2022290763 @default.
- W1988432838 cites W2040064689 @default.
- W1988432838 cites W2062024564 @default.
- W1988432838 cites W2069970962 @default.
- W1988432838 cites W2088941870 @default.
- W1988432838 cites W2088979440 @default.
- W1988432838 cites W2090790829 @default.
- W1988432838 cites W2102549858 @default.
- W1988432838 cites W2111841006 @default.
- W1988432838 cites W2128932399 @default.
- W1988432838 cites W2139772363 @default.
- W1988432838 cites W2154273644 @default.
- W1988432838 cites W2159513875 @default.
- W1988432838 cites W2165407648 @default.
- W1988432838 cites W2167904762 @default.
- W1988432838 cites W2170626879 @default.
- W1988432838 cites W2184268586 @default.
- W1988432838 cites W2491907033 @default.
- W1988432838 cites W4861723 @default.
- W1988432838 cites W59270753 @default.
- W1988432838 doi "https://doi.org/10.1016/s0304-3975(96)00235-6" @default.
- W1988432838 hasPublicationYear "1996" @default.
- W1988432838 type Work @default.
- W1988432838 sameAs 1988432838 @default.
- W1988432838 citedByCount "15" @default.
- W1988432838 countsByYear W19884328382012 @default.
- W1988432838 countsByYear W19884328382013 @default.
- W1988432838 crossrefType "journal-article" @default.
- W1988432838 hasAuthorship W1988432838A5020561481 @default.
- W1988432838 hasAuthorship W1988432838A5053585862 @default.
- W1988432838 hasAuthorship W1988432838A5077196285 @default.
- W1988432838 hasBestOaLocation W19884328381 @default.
- W1988432838 hasConcept C106131492 @default.
- W1988432838 hasConcept C11413529 @default.
- W1988432838 hasConcept C114614502 @default.
- W1988432838 hasConcept C16221470 @default.
- W1988432838 hasConcept C31972630 @default.
- W1988432838 hasConcept C33923547 @default.
- W1988432838 hasConcept C41008148 @default.
- W1988432838 hasConceptScore W1988432838C106131492 @default.
- W1988432838 hasConceptScore W1988432838C11413529 @default.
- W1988432838 hasConceptScore W1988432838C114614502 @default.
- W1988432838 hasConceptScore W1988432838C16221470 @default.
- W1988432838 hasConceptScore W1988432838C31972630 @default.
- W1988432838 hasConceptScore W1988432838C33923547 @default.
- W1988432838 hasConceptScore W1988432838C41008148 @default.
- W1988432838 hasIssue "1-2" @default.
- W1988432838 hasLocation W19884328381 @default.
- W1988432838 hasOpenAccess W1988432838 @default.
- W1988432838 hasPrimaryLocation W19884328381 @default.
- W1988432838 hasRelatedWork W1978042415 @default.
- W1988432838 hasRelatedWork W2017331178 @default.
- W1988432838 hasRelatedWork W2260035625 @default.
- W1988432838 hasRelatedWork W2351491280 @default.
- W1988432838 hasRelatedWork W2371447506 @default.
- W1988432838 hasRelatedWork W2386767533 @default.
- W1988432838 hasRelatedWork W2899084033 @default.
- W1988432838 hasRelatedWork W2976797620 @default.
- W1988432838 hasRelatedWork W303980170 @default.
- W1988432838 hasRelatedWork W3086542228 @default.
- W1988432838 hasVolume "170" @default.
- W1988432838 isParatext "false" @default.
- W1988432838 isRetracted "false" @default.
- W1988432838 magId "1988432838" @default.
- W1988432838 workType "article" @default.