Matches in SemOpenAlex for { <https://semopenalex.org/work/W184349421> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W184349421 endingPage "44" @default.
- W184349421 startingPage "27" @default.
- W184349421 abstract "We study call-by-need from the point of view of the duality between call-by-name and call-by-value. We develop sequent-calculus style versions of call-by-need both in the minimal and classical case. As a result, we obtain a natural extension of call-by-need with control operators. This leads us to introduce a call-by-need λμ-calculus. Finally, by using the dualities principles of (overlinelambdamutildemu )-calculus, we show the existence of a new call-by-need calculus, which is distinct from call-by-name, call-by-value and usual call-by-need theories." @default.
- W184349421 created "2016-06-24" @default.
- W184349421 creator A5060487163 @default.
- W184349421 creator A5064696313 @default.
- W184349421 creator A5085084958 @default.
- W184349421 date "2011-01-01" @default.
- W184349421 modified "2023-10-17" @default.
- W184349421 title "Classical Call-by-Need and Duality" @default.
- W184349421 cites W1471398886 @default.
- W184349421 cites W1839102226 @default.
- W184349421 cites W1975575519 @default.
- W184349421 cites W1980339691 @default.
- W184349421 cites W1995963173 @default.
- W184349421 cites W2008920425 @default.
- W184349421 cites W2016326123 @default.
- W184349421 cites W2032124026 @default.
- W184349421 cites W2054299141 @default.
- W184349421 cites W2062838731 @default.
- W184349421 cites W2075337691 @default.
- W184349421 cites W2088735483 @default.
- W184349421 cites W2112022010 @default.
- W184349421 cites W2128246210 @default.
- W184349421 cites W2152013675 @default.
- W184349421 cites W2156231390 @default.
- W184349421 cites W2162527861 @default.
- W184349421 cites W2164691248 @default.
- W184349421 cites W2323803659 @default.
- W184349421 cites W2483114314 @default.
- W184349421 cites W2912464567 @default.
- W184349421 doi "https://doi.org/10.1007/978-3-642-21691-6_6" @default.
- W184349421 hasPublicationYear "2011" @default.
- W184349421 type Work @default.
- W184349421 sameAs 184349421 @default.
- W184349421 citedByCount "13" @default.
- W184349421 countsByYear W1843494212012 @default.
- W184349421 countsByYear W1843494212013 @default.
- W184349421 countsByYear W1843494212014 @default.
- W184349421 countsByYear W1843494212016 @default.
- W184349421 countsByYear W1843494212018 @default.
- W184349421 countsByYear W1843494212019 @default.
- W184349421 countsByYear W1843494212020 @default.
- W184349421 countsByYear W1843494212021 @default.
- W184349421 crossrefType "book-chapter" @default.
- W184349421 hasAuthorship W184349421A5060487163 @default.
- W184349421 hasAuthorship W184349421A5064696313 @default.
- W184349421 hasAuthorship W184349421A5085084958 @default.
- W184349421 hasBestOaLocation W1843494212 @default.
- W184349421 hasConcept C108710211 @default.
- W184349421 hasConcept C118615104 @default.
- W184349421 hasConcept C199343813 @default.
- W184349421 hasConcept C2524010 @default.
- W184349421 hasConcept C2777686260 @default.
- W184349421 hasConcept C2778023678 @default.
- W184349421 hasConcept C33923547 @default.
- W184349421 hasConcept C41008148 @default.
- W184349421 hasConcept C62073222 @default.
- W184349421 hasConcept C65880906 @default.
- W184349421 hasConcept C71924100 @default.
- W184349421 hasConceptScore W184349421C108710211 @default.
- W184349421 hasConceptScore W184349421C118615104 @default.
- W184349421 hasConceptScore W184349421C199343813 @default.
- W184349421 hasConceptScore W184349421C2524010 @default.
- W184349421 hasConceptScore W184349421C2777686260 @default.
- W184349421 hasConceptScore W184349421C2778023678 @default.
- W184349421 hasConceptScore W184349421C33923547 @default.
- W184349421 hasConceptScore W184349421C41008148 @default.
- W184349421 hasConceptScore W184349421C62073222 @default.
- W184349421 hasConceptScore W184349421C65880906 @default.
- W184349421 hasConceptScore W184349421C71924100 @default.
- W184349421 hasLocation W1843494211 @default.
- W184349421 hasLocation W1843494212 @default.
- W184349421 hasLocation W1843494213 @default.
- W184349421 hasLocation W1843494214 @default.
- W184349421 hasLocation W1843494215 @default.
- W184349421 hasLocation W1843494216 @default.
- W184349421 hasOpenAccess W184349421 @default.
- W184349421 hasPrimaryLocation W1843494211 @default.
- W184349421 hasRelatedWork W1562648369 @default.
- W184349421 hasRelatedWork W1987945064 @default.
- W184349421 hasRelatedWork W2023557900 @default.
- W184349421 hasRelatedWork W2137780954 @default.
- W184349421 hasRelatedWork W2351433375 @default.
- W184349421 hasRelatedWork W2891688494 @default.
- W184349421 hasRelatedWork W3090765541 @default.
- W184349421 hasRelatedWork W4251049234 @default.
- W184349421 hasRelatedWork W4289719533 @default.
- W184349421 hasRelatedWork W4295728898 @default.
- W184349421 isParatext "false" @default.
- W184349421 isRetracted "false" @default.
- W184349421 magId "184349421" @default.
- W184349421 workType "book-chapter" @default.