FRINK Linked Data Fragments server

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

• W3157764981 abstract "We study encodings of the lambda-calculus into the pi-calculus in the unexplored case of calculi with non-determinism and failures. On the sequential side, we consider lambdafail, a new non-deterministic calculus in which intersection types control resources (terms); on the concurrent side, we consider spi, a pi-calculus in which non-determinism and failure rest upon a Curry-Howard correspondence between linear logic and session types. We present a typed encoding of lambdafail into spi and establish its correctness. Our encoding precisely explains the interplay of non-deterministic and fail-prone evaluation in lambdafail via typed processes in spi. In particular, it shows how failures in sequential evaluation (absence/excess of resources) can be neatly codified as interaction protocols." @default.
• W3157764981 created "2021-05-10" @default.
• W3157764981 creator A5002326512 @default.
• W3157764981 creator A5027732469 @default.
• W3157764981 creator A5034548013 @default.
• W3157764981 date "2023-10-10" @default.
• W3157764981 modified "2023-10-17" @default.
• W3157764981 title "Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)" @default.
• W3157764981 cites W13842973 @default.
• W3157764981 cites W1528473059 @default.
• W3157764981 cites W1537467263 @default.
• W3157764981 cites W1607623316 @default.
• W3157764981 cites W1784055113 @default.
• W3157764981 cites W192070947 @default.
• W3157764981 cites W1941373452 @default.
• W3157764981 cites W2008838944 @default.
• W3157764981 cites W2060992753 @default.
• W3157764981 cites W2063043413 @default.
• W3157764981 cites W2086566890 @default.
• W3157764981 cites W2088376608 @default.
• W3157764981 cites W2099670992 @default.
• W3157764981 cites W2128932399 @default.
• W3157764981 cites W2153557668 @default.
• W3157764981 cites W2170626879 @default.
• W3157764981 cites W2295577580 @default.
• W3157764981 cites W2331388232 @default.
• W3157764981 cites W2461655671 @default.
• W3157764981 cites W2594993942 @default.
• W3157764981 cites W2963934842 @default.
• W3157764981 cites W3030375490 @default.
• W3157764981 cites W52305328 @default.
• W3157764981 cites W1589550381 @default.
• W3157764981 cites W2036037932 @default.
• W3157764981 doi "https://doi.org/10.46298/lmcs-19(4:1)2023" @default.
• W3157764981 hasPublicationYear "2023" @default.
• W3157764981 type Work @default.
• W3157764981 sameAs 3157764981 @default.
• W3157764981 citedByCount "0" @default.
• W3157764981 crossrefType "journal-article" @default.
• W3157764981 hasAuthorship W3157764981A5002326512 @default.
• W3157764981 hasAuthorship W3157764981A5027732469 @default.
• W3157764981 hasAuthorship W3157764981A5034548013 @default.
• W3157764981 hasBestOaLocation W31577649811 @default.
• W3157764981 hasConcept C11413529 @default.
• W3157764981 hasConcept C121332964 @default.
• W3157764981 hasConcept C125411270 @default.
• W3157764981 hasConcept C127413603 @default.
• W3157764981 hasConcept C135790938 @default.
• W3157764981 hasConcept C142156749 @default.
• W3157764981 hasConcept C146978453 @default.
• W3157764981 hasConcept C154945302 @default.
• W3157764981 hasConcept C192183473 @default.
• W3157764981 hasConcept C199343813 @default.
• W3157764981 hasConcept C199360897 @default.
• W3157764981 hasConcept C20528804 @default.
• W3157764981 hasConcept C2777686260 @default.
• W3157764981 hasConcept C28077239 @default.
• W3157764981 hasConcept C2984882572 @default.
• W3157764981 hasConcept C33923547 @default.
• W3157764981 hasConcept C41008148 @default.
• W3157764981 hasConcept C55439883 @default.
• W3157764981 hasConcept C61237538 @default.
• W3157764981 hasConcept C62520636 @default.
• W3157764981 hasConcept C64543145 @default.
• W3157764981 hasConcept C71924100 @default.
• W3157764981 hasConcept C77736955 @default.
• W3157764981 hasConcept C80444323 @default.
• W3157764981 hasConceptScore W3157764981C11413529 @default.
• W3157764981 hasConceptScore W3157764981C121332964 @default.
• W3157764981 hasConceptScore W3157764981C125411270 @default.
• W3157764981 hasConceptScore W3157764981C127413603 @default.
• W3157764981 hasConceptScore W3157764981C135790938 @default.
• W3157764981 hasConceptScore W3157764981C142156749 @default.
• W3157764981 hasConceptScore W3157764981C146978453 @default.
• W3157764981 hasConceptScore W3157764981C154945302 @default.
• W3157764981 hasConceptScore W3157764981C192183473 @default.
• W3157764981 hasConceptScore W3157764981C199343813 @default.
• W3157764981 hasConceptScore W3157764981C199360897 @default.
• W3157764981 hasConceptScore W3157764981C20528804 @default.
• W3157764981 hasConceptScore W3157764981C2777686260 @default.
• W3157764981 hasConceptScore W3157764981C28077239 @default.
• W3157764981 hasConceptScore W3157764981C2984882572 @default.
• W3157764981 hasConceptScore W3157764981C33923547 @default.
• W3157764981 hasConceptScore W3157764981C41008148 @default.
• W3157764981 hasConceptScore W3157764981C55439883 @default.
• W3157764981 hasConceptScore W3157764981C61237538 @default.
• W3157764981 hasConceptScore W3157764981C62520636 @default.
• W3157764981 hasConceptScore W3157764981C64543145 @default.
• W3157764981 hasConceptScore W3157764981C71924100 @default.
• W3157764981 hasConceptScore W3157764981C77736955 @default.
• W3157764981 hasConceptScore W3157764981C80444323 @default.
• W3157764981 hasLocation W31577649811 @default.
• W3157764981 hasOpenAccess W3157764981 @default.
• W3157764981 hasPrimaryLocation W31577649811 @default.
• W3157764981 hasRelatedWork W125309690 @default.
• W3157764981 hasRelatedWork W1458664253 @default.
• W3157764981 hasRelatedWork W1762925969 @default.
• W3157764981 hasRelatedWork W2146437601 @default.
• W3157764981 hasRelatedWork W21537352 @default.
• W3157764981 hasRelatedWork W2189323991 @default.

• next