FRINK Linked Data Fragments server

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

• W136487247 endingPage "228" @default.
• W136487247 startingPage "209" @default.
• W136487247 abstract "Probabilistic applicative bisimulation is a recently introduced coinductive methodology for program equivalence in a probabilistic, higher-order, setting. In this paper, the technique is applied to a typed, call-by-value, lambda-calculus. Surprisingly, the obtained relation coincides with context equivalence, contrary to what happens when call-by-name evaluation is considered. Even more surprisingly, full-abstraction only holds in a symmetric setting." @default.
• W136487247 created "2016-06-24" @default.
• W136487247 creator A5050255924 @default.
• W136487247 creator A5084450516 @default.
• W136487247 date "2014-01-01" @default.
• W136487247 modified "2023-10-13" @default.
• W136487247 title "On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi" @default.
• W136487247 cites W1499878068 @default.
• W136487247 cites W1976268573 @default.
• W136487247 cites W1978840985 @default.
• W136487247 cites W2007270285 @default.
• W136487247 cites W2033104047 @default.
• W136487247 cites W2035063966 @default.
• W136487247 cites W2092367588 @default.
• W136487247 cites W2100893927 @default.
• W136487247 cites W2109394932 @default.
• W136487247 cites W2110839939 @default.
• W136487247 cites W2132103241 @default.
• W136487247 cites W2152595206 @default.
• W136487247 cites W2178993149 @default.
• W136487247 cites W2290372454 @default.
• W136487247 cites W2619086274 @default.
• W136487247 cites W2990518766 @default.
• W136487247 cites W3005561798 @default.
• W136487247 cites W3020913839 @default.
• W136487247 cites W4210300416 @default.
• W136487247 cites W4237267501 @default.
• W136487247 cites W4256217877 @default.
• W136487247 doi "https://doi.org/10.1007/978-3-642-54833-8_12" @default.
• W136487247 hasPublicationYear "2014" @default.
• W136487247 type Work @default.
• W136487247 sameAs 136487247 @default.
• W136487247 citedByCount "32" @default.
• W136487247 countsByYear W1364872472015 @default.
• W136487247 countsByYear W1364872472016 @default.
• W136487247 countsByYear W1364872472017 @default.
• W136487247 countsByYear W1364872472018 @default.
• W136487247 countsByYear W1364872472019 @default.
• W136487247 countsByYear W1364872472020 @default.
• W136487247 countsByYear W1364872472021 @default.
• W136487247 countsByYear W1364872472022 @default.
• W136487247 countsByYear W1364872472023 @default.
• W136487247 crossrefType "book-chapter" @default.
• W136487247 hasAuthorship W136487247A5050255924 @default.
• W136487247 hasAuthorship W136487247A5084450516 @default.
• W136487247 hasBestOaLocation W1364872471 @default.
• W136487247 hasConcept C108710211 @default.
• W136487247 hasConcept C111472728 @default.
• W136487247 hasConcept C11413529 @default.
• W136487247 hasConcept C118615104 @default.
• W136487247 hasConcept C124304363 @default.
• W136487247 hasConcept C135315306 @default.
• W136487247 hasConcept C135790938 @default.
• W136487247 hasConcept C136119220 @default.
• W136487247 hasConcept C138885662 @default.
• W136487247 hasConcept C151730666 @default.
• W136487247 hasConcept C154945302 @default.
• W136487247 hasConcept C199343813 @default.
• W136487247 hasConcept C199360897 @default.
• W136487247 hasConcept C202444582 @default.
• W136487247 hasConcept C2524010 @default.
• W136487247 hasConcept C2777686260 @default.
• W136487247 hasConcept C2779343474 @default.
• W136487247 hasConcept C2780069185 @default.
• W136487247 hasConcept C33923547 @default.
• W136487247 hasConcept C40220748 @default.
• W136487247 hasConcept C41008148 @default.
• W136487247 hasConcept C49937458 @default.
• W136487247 hasConcept C71924100 @default.
• W136487247 hasConcept C80444323 @default.
• W136487247 hasConcept C86803240 @default.
• W136487247 hasConceptScore W136487247C108710211 @default.
• W136487247 hasConceptScore W136487247C111472728 @default.
• W136487247 hasConceptScore W136487247C11413529 @default.
• W136487247 hasConceptScore W136487247C118615104 @default.
• W136487247 hasConceptScore W136487247C124304363 @default.
• W136487247 hasConceptScore W136487247C135315306 @default.
• W136487247 hasConceptScore W136487247C135790938 @default.
• W136487247 hasConceptScore W136487247C136119220 @default.
• W136487247 hasConceptScore W136487247C138885662 @default.
• W136487247 hasConceptScore W136487247C151730666 @default.
• W136487247 hasConceptScore W136487247C154945302 @default.
• W136487247 hasConceptScore W136487247C199343813 @default.
• W136487247 hasConceptScore W136487247C199360897 @default.
• W136487247 hasConceptScore W136487247C202444582 @default.
• W136487247 hasConceptScore W136487247C2524010 @default.
• W136487247 hasConceptScore W136487247C2777686260 @default.
• W136487247 hasConceptScore W136487247C2779343474 @default.
• W136487247 hasConceptScore W136487247C2780069185 @default.
• W136487247 hasConceptScore W136487247C33923547 @default.
• W136487247 hasConceptScore W136487247C40220748 @default.
• W136487247 hasConceptScore W136487247C41008148 @default.
• W136487247 hasConceptScore W136487247C49937458 @default.
• W136487247 hasConceptScore W136487247C71924100 @default.
• W136487247 hasConceptScore W136487247C80444323 @default.
• W136487247 hasConceptScore W136487247C86803240 @default.
• W136487247 hasLocation W1364872471 @default.
• W136487247 hasLocation W1364872472 @default.

• next