FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2097508818> ?p ?o ?g. }

• W2097508818 abstract "We study the probabilistic coherent spaces - a denotational semantics interpreting programs by power series with non negative real coefficients. We prove that this semantics is adequate for a probabilistic extension of the untyped λ-calculus: the probability that a term reduces to ahead normal form is equal to its denotation computed on a suitable set of values. The result gives, in a probabilistic setting, a quantitative refinement to the adequacy of Scott's model for untyped λ-calculus." @default.
• W2097508818 created "2016-06-24" @default.
• W2097508818 creator A5006888140 @default.
• W2097508818 creator A5014578218 @default.
• W2097508818 creator A5063161068 @default.
• W2097508818 date "2011-06-01" @default.
• W2097508818 modified "2023-10-16" @default.
• W2097508818 title "The Computational Meaning of Probabilistic Coherence Spaces" @default.
• W2097508818 cites W1498388520 @default.
• W2097508818 cites W1523016082 @default.
• W2097508818 cites W1532754343 @default.
• W2097508818 cites W1551132038 @default.
• W2097508818 cites W2004553747 @default.
• W2097508818 cites W2007270285 @default.
• W2097508818 cites W2036605992 @default.
• W2097508818 cites W2046213250 @default.
• W2097508818 cites W2102548545 @default.
• W2097508818 cites W2155748644 @default.
• W2097508818 cites W2214437647 @default.
• W2097508818 cites W2911865844 @default.
• W2097508818 cites W2911874855 @default.
• W2097508818 doi "https://doi.org/10.1109/lics.2011.29" @default.
• W2097508818 hasPublicationYear "2011" @default.
• W2097508818 type Work @default.
• W2097508818 sameAs 2097508818 @default.
• W2097508818 citedByCount "28" @default.
• W2097508818 countsByYear W20975088182013 @default.
• W2097508818 countsByYear W20975088182014 @default.
• W2097508818 countsByYear W20975088182015 @default.
• W2097508818 countsByYear W20975088182016 @default.
• W2097508818 countsByYear W20975088182017 @default.
• W2097508818 countsByYear W20975088182018 @default.
• W2097508818 countsByYear W20975088182019 @default.
• W2097508818 countsByYear W20975088182020 @default.
• W2097508818 countsByYear W20975088182021 @default.
• W2097508818 countsByYear W20975088182022 @default.
• W2097508818 countsByYear W20975088182023 @default.
• W2097508818 crossrefType "proceedings-article" @default.
• W2097508818 hasAuthorship W2097508818A5006888140 @default.
• W2097508818 hasAuthorship W2097508818A5014578218 @default.
• W2097508818 hasAuthorship W2097508818A5063161068 @default.
• W2097508818 hasBestOaLocation W20975088182 @default.
• W2097508818 hasConcept C105795698 @default.
• W2097508818 hasConcept C118615104 @default.
• W2097508818 hasConcept C121332964 @default.
• W2097508818 hasConcept C136119220 @default.
• W2097508818 hasConcept C138885662 @default.
• W2097508818 hasConcept C139997677 @default.
• W2097508818 hasConcept C149106765 @default.
• W2097508818 hasConcept C154945302 @default.
• W2097508818 hasConcept C156325763 @default.
• W2097508818 hasConcept C16021271 @default.
• W2097508818 hasConcept C163258240 @default.
• W2097508818 hasConcept C177264268 @default.
• W2097508818 hasConcept C184337299 @default.
• W2097508818 hasConcept C199343813 @default.
• W2097508818 hasConcept C199360897 @default.
• W2097508818 hasConcept C202444582 @default.
• W2097508818 hasConcept C207648694 @default.
• W2097508818 hasConcept C2777686260 @default.
• W2097508818 hasConcept C2778029271 @default.
• W2097508818 hasConcept C2781181686 @default.
• W2097508818 hasConcept C33923547 @default.
• W2097508818 hasConcept C41008148 @default.
• W2097508818 hasConcept C41895202 @default.
• W2097508818 hasConcept C49937458 @default.
• W2097508818 hasConcept C62520636 @default.
• W2097508818 hasConcept C71924100 @default.
• W2097508818 hasConcept C80444323 @default.
• W2097508818 hasConcept C87365073 @default.
• W2097508818 hasConceptScore W2097508818C105795698 @default.
• W2097508818 hasConceptScore W2097508818C118615104 @default.
• W2097508818 hasConceptScore W2097508818C121332964 @default.
• W2097508818 hasConceptScore W2097508818C136119220 @default.
• W2097508818 hasConceptScore W2097508818C138885662 @default.
• W2097508818 hasConceptScore W2097508818C139997677 @default.
• W2097508818 hasConceptScore W2097508818C149106765 @default.
• W2097508818 hasConceptScore W2097508818C154945302 @default.
• W2097508818 hasConceptScore W2097508818C156325763 @default.
• W2097508818 hasConceptScore W2097508818C16021271 @default.
• W2097508818 hasConceptScore W2097508818C163258240 @default.
• W2097508818 hasConceptScore W2097508818C177264268 @default.
• W2097508818 hasConceptScore W2097508818C184337299 @default.
• W2097508818 hasConceptScore W2097508818C199343813 @default.
• W2097508818 hasConceptScore W2097508818C199360897 @default.
• W2097508818 hasConceptScore W2097508818C202444582 @default.
• W2097508818 hasConceptScore W2097508818C207648694 @default.
• W2097508818 hasConceptScore W2097508818C2777686260 @default.
• W2097508818 hasConceptScore W2097508818C2778029271 @default.
• W2097508818 hasConceptScore W2097508818C2781181686 @default.
• W2097508818 hasConceptScore W2097508818C33923547 @default.
• W2097508818 hasConceptScore W2097508818C41008148 @default.
• W2097508818 hasConceptScore W2097508818C41895202 @default.
• W2097508818 hasConceptScore W2097508818C49937458 @default.
• W2097508818 hasConceptScore W2097508818C62520636 @default.
• W2097508818 hasConceptScore W2097508818C71924100 @default.
• W2097508818 hasConceptScore W2097508818C80444323 @default.
• W2097508818 hasConceptScore W2097508818C87365073 @default.
• W2097508818 hasLocation W20975088181 @default.
• W2097508818 hasLocation W20975088182 @default.

• next