FRINK Linked Data Fragments server

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

• W1586890499 abstract "This paper studies the interplay between functional application and nondeterministic choice in the context of untyped λ-calculus. We introduce an operational semantics which is based on the idea of must preorder, coming from the theory of process algebras. To characterize this relation, we build a model using the classical inverse limit construction, and we prove it fully abstract using a generalization of Bohm trees." @default.
• W1586890499 created "2016-06-24" @default.
• W1586890499 creator A5020561481 @default.
• W1586890499 creator A5077196285 @default.
• W1586890499 date "1992-01-01" @default.
• W1586890499 modified "2023-09-25" @default.
• W1586890499 title "Must preorder in non-deterministic untyped λ-calculus" @default.
• W1586890499 cites W1539804543 @default.
• W1586890499 cites W182461575 @default.
• W1586890499 cites W1972921902 @default.
• W1586890499 cites W1986227685 @default.
• W1586890499 cites W1996751264 @default.
• W1586890499 cites W1997143185 @default.
• W1586890499 cites W2036605992 @default.
• W1586890499 cites W2037785443 @default.
• W1586890499 cites W2062024564 @default.
• W1586890499 cites W2088735483 @default.
• W1586890499 cites W2094935854 @default.
• W1586890499 cites W2110287808 @default.
• W1586890499 cites W2184268586 @default.
• W1586890499 cites W4213381987 @default.
• W1586890499 doi "https://doi.org/10.1007/3-540-55251-0_11" @default.
• W1586890499 hasPublicationYear "1992" @default.
• W1586890499 type Work @default.
• W1586890499 sameAs 1586890499 @default.
• W1586890499 citedByCount "3" @default.
• W1586890499 crossrefType "book-chapter" @default.
• W1586890499 hasAuthorship W1586890499A5020561481 @default.
• W1586890499 hasAuthorship W1586890499A5077196285 @default.
• W1586890499 hasConcept C11413529 @default.
• W1586890499 hasConcept C118615104 @default.
• W1586890499 hasConcept C134306372 @default.
• W1586890499 hasConcept C135315306 @default.
• W1586890499 hasConcept C135790938 @default.
• W1586890499 hasConcept C151730666 @default.
• W1586890499 hasConcept C156325763 @default.
• W1586890499 hasConcept C161771561 @default.
• W1586890499 hasConcept C176181172 @default.
• W1586890499 hasConcept C177148314 @default.
• W1586890499 hasConcept C184337299 @default.
• W1586890499 hasConcept C199343813 @default.
• W1586890499 hasConcept C199360897 @default.
• W1586890499 hasConcept C2333172 @default.
• W1586890499 hasConcept C25343380 @default.
• W1586890499 hasConcept C2777686260 @default.
• W1586890499 hasConcept C2779343474 @default.
• W1586890499 hasConcept C33923547 @default.
• W1586890499 hasConcept C41008148 @default.
• W1586890499 hasConcept C71924100 @default.
• W1586890499 hasConcept C77088390 @default.
• W1586890499 hasConcept C80444323 @default.
• W1586890499 hasConcept C86803240 @default.
• W1586890499 hasConcept C98045186 @default.
• W1586890499 hasConceptScore W1586890499C11413529 @default.
• W1586890499 hasConceptScore W1586890499C118615104 @default.
• W1586890499 hasConceptScore W1586890499C134306372 @default.
• W1586890499 hasConceptScore W1586890499C135315306 @default.
• W1586890499 hasConceptScore W1586890499C135790938 @default.
• W1586890499 hasConceptScore W1586890499C151730666 @default.
• W1586890499 hasConceptScore W1586890499C156325763 @default.
• W1586890499 hasConceptScore W1586890499C161771561 @default.
• W1586890499 hasConceptScore W1586890499C176181172 @default.
• W1586890499 hasConceptScore W1586890499C177148314 @default.
• W1586890499 hasConceptScore W1586890499C184337299 @default.
• W1586890499 hasConceptScore W1586890499C199343813 @default.
• W1586890499 hasConceptScore W1586890499C199360897 @default.
• W1586890499 hasConceptScore W1586890499C2333172 @default.
• W1586890499 hasConceptScore W1586890499C25343380 @default.
• W1586890499 hasConceptScore W1586890499C2777686260 @default.
• W1586890499 hasConceptScore W1586890499C2779343474 @default.
• W1586890499 hasConceptScore W1586890499C33923547 @default.
• W1586890499 hasConceptScore W1586890499C41008148 @default.
• W1586890499 hasConceptScore W1586890499C71924100 @default.
• W1586890499 hasConceptScore W1586890499C77088390 @default.
• W1586890499 hasConceptScore W1586890499C80444323 @default.
• W1586890499 hasConceptScore W1586890499C86803240 @default.
• W1586890499 hasConceptScore W1586890499C98045186 @default.
• W1586890499 hasLocation W15868904991 @default.
• W1586890499 hasOpenAccess W1586890499 @default.
• W1586890499 hasPrimaryLocation W15868904991 @default.
• W1586890499 hasRelatedWork W118676048 @default.
• W1586890499 hasRelatedWork W1543138809 @default.
• W1586890499 hasRelatedWork W1552902269 @default.
• W1586890499 hasRelatedWork W1561311151 @default.
• W1586890499 hasRelatedWork W1791118392 @default.
• W1586890499 hasRelatedWork W2012100616 @default.
• W1586890499 hasRelatedWork W2034500651 @default.
• W1586890499 hasRelatedWork W2144793956 @default.
• W1586890499 hasRelatedWork W2281978270 @default.
• W1586890499 hasRelatedWork W2389495494 @default.
• W1586890499 hasRelatedWork W2405110089 @default.
• W1586890499 hasRelatedWork W2578634188 @default.
• W1586890499 hasRelatedWork W2951746714 @default.
• W1586890499 hasRelatedWork W2979873466 @default.
• W1586890499 hasRelatedWork W2986444526 @default.
• W1586890499 hasRelatedWork W2999787423 @default.
• W1586890499 hasRelatedWork W3032645613 @default.
• W1586890499 hasRelatedWork W3140173229 @default.
• W1586890499 hasRelatedWork W3213784925 @default.
• W1586890499 hasRelatedWork W2188353958 @default.

• next