FRINK Linked Data Fragments server

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

• W2079873887 abstract "The category Rel of sets and relations yields one of the simplest denotational semantics of Linear Logic (LL). It is known that Rel is the biproduct completion of the Boolean ring. We consider the generalization of this construction to an arbitrary continuous semiring R, producing a cpo-enriched category which is a semantics of LL, and its (co)Kleisli category is an adequate model of an extension of PCF, parametrized by R. Specific instances of R allow us to compare programs not only with respect to “what they can do”, but also “in how many steps” or “in how many different ways” (for non-deterministic PCF) or even “with what probability” (for probabilistic PCF)." @default.
• W2079873887 created "2016-06-24" @default.
• W2079873887 creator A5014578218 @default.
• W2079873887 creator A5041412703 @default.
• W2079873887 creator A5058216930 @default.
• W2079873887 creator A5076089035 @default.
• W2079873887 date "2013-06-01" @default.
• W2079873887 modified "2023-10-18" @default.
• W2079873887 title "Weighted Relational Models of Typed Lambda-Calculi" @default.
• W2079873887 cites W1591763719 @default.
• W2079873887 cites W1669385163 @default.
• W2079873887 cites W1997143185 @default.
• W2079873887 cites W2004553747 @default.
• W2079873887 cites W2005126785 @default.
• W2079873887 cites W2007270285 @default.
• W2079873887 cites W2011565534 @default.
• W2079873887 cites W2039112578 @default.
• W2079873887 cites W2097508818 @default.
• W2079873887 cites W2102548545 @default.
• W2079873887 cites W2120713972 @default.
• W2079873887 cites W2178993149 @default.
• W2079873887 cites W2214437647 @default.
• W2079873887 cites W2294334272 @default.
• W2079873887 cites W2911865844 @default.
• W2079873887 cites W2911874855 @default.
• W2079873887 cites W2990518766 @default.
• W2079873887 cites W4251097190 @default.
• W2079873887 doi "https://doi.org/10.1109/lics.2013.36" @default.
• W2079873887 hasPublicationYear "2013" @default.
• W2079873887 type Work @default.
• W2079873887 sameAs 2079873887 @default.
• W2079873887 citedByCount "58" @default.
• W2079873887 countsByYear W20798738872013 @default.
• W2079873887 countsByYear W20798738872014 @default.
• W2079873887 countsByYear W20798738872015 @default.
• W2079873887 countsByYear W20798738872016 @default.
• W2079873887 countsByYear W20798738872017 @default.
• W2079873887 countsByYear W20798738872018 @default.
• W2079873887 countsByYear W20798738872019 @default.
• W2079873887 countsByYear W20798738872020 @default.
• W2079873887 countsByYear W20798738872021 @default.
• W2079873887 countsByYear W20798738872022 @default.
• W2079873887 countsByYear W20798738872023 @default.
• W2079873887 crossrefType "proceedings-article" @default.
• W2079873887 hasAuthorship W2079873887A5014578218 @default.
• W2079873887 hasAuthorship W2079873887A5041412703 @default.
• W2079873887 hasAuthorship W2079873887A5058216930 @default.
• W2079873887 hasAuthorship W2079873887A5076089035 @default.
• W2079873887 hasBestOaLocation W20798738874 @default.
• W2079873887 hasConcept C118615104 @default.
• W2079873887 hasConcept C134306372 @default.
• W2079873887 hasConcept C136119220 @default.
• W2079873887 hasConcept C154945302 @default.
• W2079873887 hasConcept C156325763 @default.
• W2079873887 hasConcept C177148314 @default.
• W2079873887 hasConcept C184337299 @default.
• W2079873887 hasConcept C199360897 @default.
• W2079873887 hasConcept C202444582 @default.
• W2079873887 hasConcept C207648694 @default.
• W2079873887 hasConcept C21696900 @default.
• W2079873887 hasConcept C2778003309 @default.
• W2079873887 hasConcept C2778029271 @default.
• W2079873887 hasConcept C33923547 @default.
• W2079873887 hasConcept C41008148 @default.
• W2079873887 hasConcept C49937458 @default.
• W2079873887 hasConcept C80444323 @default.
• W2079873887 hasConceptScore W2079873887C118615104 @default.
• W2079873887 hasConceptScore W2079873887C134306372 @default.
• W2079873887 hasConceptScore W2079873887C136119220 @default.
• W2079873887 hasConceptScore W2079873887C154945302 @default.
• W2079873887 hasConceptScore W2079873887C156325763 @default.
• W2079873887 hasConceptScore W2079873887C177148314 @default.
• W2079873887 hasConceptScore W2079873887C184337299 @default.
• W2079873887 hasConceptScore W2079873887C199360897 @default.
• W2079873887 hasConceptScore W2079873887C202444582 @default.
• W2079873887 hasConceptScore W2079873887C207648694 @default.
• W2079873887 hasConceptScore W2079873887C21696900 @default.
• W2079873887 hasConceptScore W2079873887C2778003309 @default.
• W2079873887 hasConceptScore W2079873887C2778029271 @default.
• W2079873887 hasConceptScore W2079873887C33923547 @default.
• W2079873887 hasConceptScore W2079873887C41008148 @default.
• W2079873887 hasConceptScore W2079873887C49937458 @default.
• W2079873887 hasConceptScore W2079873887C80444323 @default.
• W2079873887 hasLocation W20798738871 @default.
• W2079873887 hasLocation W20798738872 @default.
• W2079873887 hasLocation W20798738873 @default.
• W2079873887 hasLocation W20798738874 @default.
• W2079873887 hasLocation W20798738875 @default.
• W2079873887 hasOpenAccess W2079873887 @default.
• W2079873887 hasPrimaryLocation W20798738871 @default.
• W2079873887 hasRelatedWork W2293856750 @default.
• W2079873887 hasRelatedWork W2551539219 @default.
• W2079873887 hasRelatedWork W2598547732 @default.
• W2079873887 hasRelatedWork W2766124107 @default.
• W2079873887 hasRelatedWork W2797207385 @default.
• W2079873887 hasRelatedWork W2798278864 @default.
• W2079873887 hasRelatedWork W3158742505 @default.
• W2079873887 hasRelatedWork W4251636188 @default.
• W2079873887 hasRelatedWork W4293472109 @default.
• W2079873887 hasRelatedWork W93162488 @default.

• next